On Friday, December 28, 2018 7:33:23 AM CET Sergey Poznyakoff wrote: > Thanks. It was fixed yesterday (commit c15c42c).
FWIW, it is probably the same bug as https://www.mail-archive.com/[email protected]/msg04432.html
On Friday, December 28, 2018 7:33:23 AM CET Sergey Poznyakoff wrote: > Thanks. It was fixed yesterday (commit c15c42c).
FWIW, it is probably the same bug as https://www.mail-archive.com/[email protected]/msg04432.html