Any Bug report should be reported at GitHub Issue page. Any report on other platform won't be considered; Reporters should have experienced the problem himself otherwise won't be considered; You can ...