Much better. But it’ll resend the post to everyone subscribed to discussion feed again, so you shouldn’t do it. Add a note at the top of the post instead (by editing it without editing the title).
Edit: Too late. Oh well.
If the feeds were available in Atom format, with correct GUIDs, then reader software can recognize reliably that it’s the same post modified.
Yes. You can check with the issue tracker if this issue was filed and file it if it wasn’t.
Much better. But it’ll resend the post to everyone subscribed to discussion feed again, so you shouldn’t do it. Add a note at the top of the post instead (by editing it without editing the title).
Edit: Too late. Oh well.
If the feeds were available in Atom format, with correct GUIDs, then reader software can recognize reliably that it’s the same post modified.
Yes. You can check with the issue tracker if this issue was filed and file it if it wasn’t.