tree 99ce8170be60e4e893020215285873690b135955
parent 9f02d0a3e5a5ffc82256391c244b1af38e41ef78
author Jussi Pakkanen <jpakkane@gmail.com> 1713116802 +0300
committer Jussi Pakkanen <jpakkane@gmail.com> 1713122645 +0300

Fix builds with Ninja 12 and remove a 5 year old workaround.