These are now obsolete.

Comments

joachim’s picture

joachim commented
Status: Active » Closed (duplicate)

Knew I'd done this already... #1075198: remove CVS header -- just forgot to cherrypick it to the 7 branch :/