Forwarded PRs: #2

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

2
hare

Submodule hare updated: 1a05d9c6f8...e6c0da1960