On Tue, 14 Jun 2016 11:52:02 +0200, Martin Pieuchot wrote:

> It's no longer doing anything, so let's remove it, ok?

OK millert@

 - todd

Reply via email to