Pushed. This looks worth including in the stable branch, so might point ursula at the branch as well.
« Back to merge proposal
Pushed. This looks worth including in the stable branch, so might point ursula at the branch as well.