Hi Felix, On Sat, 20 Oct 2018 13:56:54 +0200 felix.winkelm...@bevuta.com wrote:
> A trivial change. Thanks. Pushed. All the best. Mario -- http://parenteses.org/mario _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers
