Моё ожидание, что PR был объединён и проблема исправлена, основывалось на теге fixed, а не на том факте, что тема была закрыта. Думаю, тему также закрыли повторно до того, как исправление было объединено 
@Canapin он уже объединён, так что, возможно, стоит попробовать.