Merge changes pulled into main repo 2020-08-12 - Githubissues

xoreos / xoreos-tools

Tools to help the development of xoreos

https://xoreos.org/

GNU General Public License v3.0

66 stars 28 forks source link

Merge changes pulled into main repo 2020-08-12 #62

Closed clone2727 closed 4 years ago

DrMcCoy commented 4 years ago

Merged, thanks! :)