9d056136c3
GitHub supports editing comments now, so need to update our guidance to reflect this. However, we also believe a ful edit log doesn't take away all the concerns that come with editing someone else's comment. Fixes #1885. |
||
---|---|---|
.. | ||
maintainers.md |