That was it, fixed. Whatever happened to the linked merge request, I don't know. I just did a --fixes lp:1515359 and pushed, and the link is simply between lp:widelands and this bug, so it must be a bug in Launchpad to show that totally unrelated merge request.
That was it, fixed. Whatever happened to the linked merge request, I don't know. I just did a --fixes lp:1515359 and pushed, and the link is simply between lp:widelands and this bug, so it must be a bug in Launchpad to show that totally unrelated merge request.