widelands

Code review comment for lp:~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function

Revision history for this message

Notabilis (notabilis27) wrote on 2018-06-12:

Thanks for testing! The results look good and bunnybot does not complain either, so lets merge this.

@bunnybot merge