On Wed, 31 Oct 2018 23:38:58 +0100, Klemens Nanni wrote:

> New diff free of side-effects in filteruser(), rest unchanged.

OK millert@

 - todd

Reply via email to