On Wednesday, 19 July 2017 at 14:46:31 UTC, Andrea Fontana wrote:
On Wednesday, 19 July 2017 at 13:30:56 UTC, sontung wrote:Thoughts on this sort of feature?I think I read this topic a couple of times here, and it went nowhere...Andrea
Well someone must take the initiative and submit a DIP for this feature.
I miss it a lot too and would try to help this DIP.
