On Thu, Nov 13, 2014 at 10:15 AM, Amir E. Aharoni amir.aharoni@mail.huji.ac.il wrote:
I tried looking for it in Bugzilla; I expected to find a two-digit bug for it, but I couldn't find any at all. Of course it's possible that I didn't look well enough.
I found these: WONTFIX: Allow editing of edit summaries after the fact https://bugzilla.wikimedia.org/show_bug.cgi?id=10105 NEW: Correcting edit summaries (if own, last, & recent) https://bugzilla.wikimedia.org/show_bug.cgi?id=13937
https://en.wikipedia.org/wiki/Help:Edit_summary just says that they can't be changed, but doesn't link to a discussion.
Now we have links to the bugs above: https://en.wikipedia.org/w/index.php?diff=633672398
Best regards, Helder