My expectation that the PR had been merged and this was fixed was based on the fixed tag, not the fact that the topic was closed. I think the topic was also closed again before the fix was merged 
@Canapin it’s merged, so you might want to try.
4 Likes