[Tagging] edit war about deletion of proposal

[Tom Pfeifer]

On 09.02.2019 22:53, Richard wrote:
> On Tue, Feb 05, 2019 at 11:44:13PM +0100, Sergio Manzi wrote:
>> done!
> 
> oh well.. now they moved it into some users namespace.
> 
> I guess we need category:humor ?

As his opponents in the edit war are taking a break, EzekielT created a new category in this 
battlefield:

Edit-warring himself! 7 edits of blanking/filling/moving one page within 10 minutes!
Should we call the Guinness book?

tom