Puzzled a bit :-/

> There is no explicit interface for reverting edits. Most of us use `git revert`. --[[Joey]]

>> That's a blow; I was planning on appointing no techies to keep law and order on our pages :-/ Is there a plugin or at least a plan to add such a 'in demand' feature?