I have not.
I reported it here.
This is the first I saw about having to go to github to report a bug, which I do not think is very practical.