Request: ban Harald Reindl from devel@

[Pierre-Yves Chibon]

On Thu, 2013-05-23 at 08:29 +0000, "Jóhann B. Guðmundsson" wrote:
> No matter how you look at it, the cost of successfully banning an 
> individual in the project will eventually come with the hefty price on
> joining.

Unless I am misreading the title of the thread, I believe the request is
not to be someone from the project, just from the mailing lists.
This would still allow this person to be active in other places but
somewhat less public.

Pierre