On Fri, Jan 17, 2020 at 03:53:18PM +0100, Tim Duesterhus wrote:
> This fixes up commit 2252beb8557d73407b8f96eef91d6927fb855685.

Applied, thanks.
Willy

Reply via email to