Widelands 1.3 Release Information

[Benedikt Straub]

Dear package maintainers,

the Widelands Development Team is proud to announce that a new version 
of Widelands, 1.3, has been released.

Widelands is a free, cross-platform economy strategy game in which 
players control the fate of a small tribe that can grow into a big 
empire, in a style of play that is unique in the open source world. 
Please visit our homepage at https://www.widelands.org to learn more.

The source code for release 1.3 as well as the full release statement 
can be found under the following link: 
https://github.com/widelands/widelands/releases/tag/v1.3
Source downloads:
https://github.com/widelands/widelands/archive/refs/tags/v1.3.tar.gz
https://github.com/widelands/widelands/archive/refs/tags/v1.3.zip

We would greatly appreciate it if the new version was picked up into the 
repositories of the various operating systems and distributions.

Thank you very much!
Best regards,
Benedikt Straub