The new failure was actually from Martin's change to the registration of default-rich-root, so this branch is clean and I've submitted it.
« Back to merge proposal
The new failure was actually from Martin's change to the registration of default-rich-root, so this branch is clean and I've submitted it.