Closed mirabilos closed 2 years ago
supercedes https://github.com/davy7125/polyphone/pull/98
see lengthy discussion there for details
Turns out that we can get rid of the EXTRA_COMPILER altogether now
Commit 33f0b40bb4659a352ff59d3bcf279105b2c5b7d5 solves this pull request
supercedes https://github.com/davy7125/polyphone/pull/98
see lengthy discussion there for details