widelands

  1. Bug #1695879
  2. Comment #3

Comment 3 for bug 1695879

Revision history for this message
kaputtnik (franku) wrote :

Oh, this issue is handled in https://code.launchpad.net/~widelands-dev/widelands/gcc7/+merge/323576