Tony via D.gnu Tue, 30 Jan 2018 21:50:48 -0800
On Wednesday, 31 January 2018 at 05:44:44 UTC, Tony wrote:
which Ubuntu package would I need to install to get it, or should it be there now?
Or do I need a newer version of GDC?
