On 2016/09/13 14:15, Ingo Schwarze wrote: > So please simply commit the following patch. Bumping makes sense to > me because it makes the manuals more readable. Besides, maybe we should > start forgetting about the old special rule "dropping USE_GROFF only > requires no bump": It was useful in the past to prevent excessive > bumping, but mass deletions no longer happen nowadays, and those that > still happen usually happen for a specific reason, which often makes > pushing them to users useful enough to warrant a bump.
I switched it to USE_GROFF previously because there was data loss in a previous version, but this has gone away in the meantime (unsure whether it was due to changes in mandoc or in the upstream page), so at this point, it's OK with me. I agree with bumping REVISION.
