This was a bunnybot bug, fixed in https://github.com/widelands/bunnybot/commit/a12a09ac28b71ff62206627ff693d78fc94cf1c4.
@bunnybot merge
« Back to merge proposal
This was a bunnybot bug, fixed in https:/ /github. com/widelands/ bunnybot/ commit/ a12a09ac28b71ff 62206627ff693d7 8fc94cf1c4.
@bunnybot merge