Forwarded PRs: #2

Closed
autogits-devel wants to merge 2 commits from PR_hare#1 into master
Showing only changes of commit a96223c7a2 - Show all commits

2
hare

Submodule hare updated: e6c0da1960...1a05d9c6f8