On [Thu, 18.08.2016 10:38], Fabiano Fidêncio wrote:
Thorsten,
Justin has already submitted a patch and it got ACKed a few days ago
after some discussions about the error message.
I guess it will be pushed soon.
Great. I did not see it. Please ignore this patch submission then.