-
Committer:
Jelmer Vernooij
-
Date:
2020-02-15 14:33:33 UTC
-
mto:
(7490.3.1 work)
-
mto:
This revision was merged to the branch mainline in
revision
7495.
-
Revision ID:
jelmer@jelmer.uk-20200215143333-8jdxqbxj3uy6ty4j
Fix draft option for github merge proposals.