Thread:Sannse/@comment-31482560-20190205181913/@comment-8-20190206190328

We are leaving it. It's a very obscure bug that doesn't hurt anyone, so it's better we concentrate on other things.