On Wednesday, 16 February 2022 at 09:05:39 UTC, Basile B. wrote:
On Tuesday, 15 February 2022 at 16:12:25 UTC, Iain Buclaw wrote:
Maybe an issue could be raised against the
[dlang-bot](https://github.com/dlang/dlang-bot) to request
better handling of ambiguous commit messages?
Yes but in the meantime I find strange that you have just
approved a PR that will have the same effect [with issue 2].
[with issue 2]: https://github.com/dlang/dmd/pull/13663
I probably reviewed it on my phone - the github app is very good
at hiding lots of information I would have otherwise spotted on
desktop. :-)