Jure Mihelič comments

Results 3 comments of


                                            Jure Mihelič

Same here

Thanks for your report. I hope we can find someone in the near future to check this issue.

For the other contribution - title change is unnecessary. All contributors are acknowledged through github dashboard, git log etc.