widelands

  1. Bug #1699852
  2. Comment #1

Comment 1 for bug 1699852

Revision history for this message
SirVer (sirver) wrote :

I do not spot these warnings in CI, for example: https://travis-ci.org/widelands/widelands/jobs/270745948

Are these still there for you?