martinmo opened this issue 4 years ago · 1 comments
This is already done as a by-catch of #379 (264bfe8).