Hi,
An alternative would perhaps be to use the toupper() or tolower() calls before the compare to make the strings all the same case, but that may have other undesirable outcomes
yes, I've tried that, but strange things happened 
The (most probable) reason why most people did not see the issue is perhaps the way the OS is configured or the way the application in installed/started (https://bugreports.qt.io/browse/QTBUG-58632?focusedCommentId=347449&page=com.atlassian.jira.plugin.system.issuetabpanels%3Acomment-tabpanel#comment-347449).
Regarding the pull request, I cannot do it, I cannot even do a git push since I have no permission to do that. Do you know who can I ask to to be granted the permission to push?
Many thanks,
Giovanni