-
Committer:
Jelmer Vernooij
-
Date:
2019-08-25 16:10:09 UTC
-
mto:
This revision was merged to the branch mainline in
revision
7387.
-
Revision ID:
jelmer@jelmer.uk-20190825161009-t093laasrkpcsmr8
Several more fixes for merge proposals. Add functions for reopening merge proposals.