On Tuesday, 17 July 2018 at 15:55:03 UTC, bachmeier wrote: > On Tuesday, 17 July 2018 at 06:57:37 UTC, drug wrote: >> [...] > > I'm going to create an issue on Github. This is the output I > get: > > [...] I solved that problem but now I have others. dpp is a good thing on paper but maybe not yet in practice.