Social Media
GunChleoc wrote: I'm still in favor of merging the proposed change. The other issues will take longer to address, and it would already be an improvement to make this change. https://github.com/widelands/widelands/pull/4391
GunChleoc wrote:
I'm still in favor of merging the proposed change. The other issues will take longer to address, and it would already be an improvement to make this change.
https://github.com/widelands/widelands/pull/4391
+1 from me