On Tue, Jul 02, 2019 at 08:41:14PM +0200, Florian Westphal wrote:
> Its not used anywhere, so remove this.

Applied, thanks.

Reply via email to