widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #09548
Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
No, I did not check that the bug is fixed. But the code is more correct than it was before, so I thought getting it in is still a good idea.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1627537-window-mouserelease/+merge/313700
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1627537-window-mouserelease.
References