Improvements to the annotation functionality

[Mike Parker]

On Thursday, 10 January 2019 at 06:41:54 UTC, Andre Pany wrote:

>
> https://github.com/wilzbach/DIPs/blob/b1283b455b635d7dcbc2c871d2aa47cc67190059/DIPs/DIP1xxx-sw.md
>
> How can we proceed with this DIP?
>

I've been in contact with Sebastian about it and he isn't ready 
to move forward with it yet. When he is, it will get priority 
because it's been there so long.