is not needed, and the title does not apply to both contained items.

Comments

kbahey’s picture

kbahey commented
Status: Active » Fixed

Fixed in HEAD and 4.7.

Anonymous’s picture

(not verified) commented
Status: Fixed » Closed (fixed)