Hi everybody. For the ones that are interested: I changed my username at github: https://github.com/judgefudge
Cheers. _______________________________________________ Pan-devel mailing list Pan-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/pan-devel