Closed Mailaender closed 7 years ago
Hi @Mailaender, Thanks for your contributions. Note that the default branch of solarus is dev, not master. The master branch only points to releases.
@Mailaender you should be able to change the base branch of the pull request: https://github.com/blog/2224-change-the-base-branch-of-a-pull-request
Merged manually into dev
Thanks and sorry for the mess. See the patch in action: https://build.opensuse.org/request/show/452105
adhering to the https://freedesktop.org/wiki/Standards/menu-spec/