Bug#971346: duplicate of #942413?

[Janusz S. Bień]

Just noticed #942413.

Regards

Janusz

-- 
             ,   
Janusz S. Bien
emeryt (emeritus)
https://sites.google.com/view/jsbien