On Tuesday, 17 July 2018 at 22:10:52 UTC, jmh530 wrote:
On Tuesday, 17 July 2018 at 16:39:48 UTC, bachmeier wrote:
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.
Echoing what Andrei and Walter say all the time, it's not going
to get fixed without bug reports...
I plan to report this...eventually.
