On Tue, Nov 13, 2012 at 3:26 AM, Amir E. Aharoni
<amir.aharoni(a)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