Thread Previous • Date Previous • Date Next • Thread Next |
Thanks for testing! The code change is trivial, so I'm gonna merge. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1546810-undo-redo/+merge/286733 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1546810-undo-redo.
Thread Previous • Date Previous • Date Next • Thread Next |