[Issue 13025] Tools repository does not build on Ubuntu

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13025

David Nadlinger <code at klickverbot.at> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |code at dawg.eu

--- Comment #1 from David Nadlinger <code at klickverbot.at> ---
CCing Martin.

--