Hi,
At https://gerrit.wikimedia.org/r/#/c/33163/ TheDJ commented that I should have updated the release notes.
At another commit I made once (forgot which one) somebody commented that I shouldn't have updated the release notes and that this should only be done by the release manager, because this helps avoid merge conflicts and because the release manager has better judgment about which issues are important enough to be mentioned there.
So should I or shouldn't I update them?
I remember a couple of attempts to discuss it, but I don't remember a decision.
-- Amir Elisha Aharoni · אָמִיר אֱלִישָׁע אַהֲרוֹנִי http://aharoni.wordpress.com “We're living in pieces, I want to live in peace.” – T. Moore