While deleting local copies of branches, I found an extra commit for !1006 (merged) which hadn't made it into that MR.