On Tue, Nov 13, 2012 at 3:26 AM, Amir E. Aharoni amir.aharoni@mail.huji.ac.il wrote:
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.
You *should* update release notes. This statement about having the release manager do all release notes is incorrect.
-Chad