-
Committer:
Wideland's Bunnybot
-
Date:
2019-02-12 08:02:22 UTC
-
mfrom:
(8960.2.12 trunk)
-
Revision ID:
bunnybot@widelands.org-20190212080222-b0izs7zgnukflu8b
Merged lp:~widelands-dev/widelands/bug-better-syncstreams:
Print more information in syncstreams. Create additional smaller syncstream files containing the last few seconds leading to a desync.