Matthew Knepley <[email protected]> writes: >> True, but if you do that, you could also mark all those instances and >> remove them automatically. >> > > True.
So should we mark them and remove them automatically, getting rid of this extra thing to remember and another likely place for merge conflicts? Are there any circumstances where that would be surprising?
pgpcKGO9gwgYE.pgp
Description: PGP signature
