-
Committer:
Wideland's Bunnybot
-
Date:
2018-07-11 13:21:45 UTC
-
mfrom:
(8742.1.5 update_eris_to_1_1_2)
-
Revision ID:
bunnybot@widelands.org-20180711132145-coa1k8fhyy93csh3
Merged lp:~widelands-dev/widelands/update_eris_to_1_1_2:
Updated Eris to version 1.1.2 (Lua 5.3.4)