On 03.07.2020 11:37, Michael Tremer wrote:
> Reviewed-by: Michael Tremer <michael.tremer(a)ipfire.org>
> 
> Meh. That is 10 pence into the kitty. :)
> ...

Yep. I raise a quarter...

I must have just been looking in the other direction.

Best,
Matthias