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

--- Comment #31 from anonymous4 <dfj1es...@sneakemail.com> ---
The obvious solution is to create a different merge PR that will just merge and
nothing more.

--

Reply via email to