https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104739

--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot 
Uni-Bielefeld.DE> ---
> --- Comment #6 from Iain Buclaw <ibuclaw at gdcproject dot org> ---
> (In reply to r...@cebitec.uni-bielefeld.de from comment #5)
> Can give it a go.
>
> https://github.com/dlang/dmd/pull/16136

Great, thanks for doing this.  With this patch applied locally, adding
DejaGnu support for the new annotation proved to be as easy as I'd
suspected.

Reply via email to