Commented Unassigned: caseInsensitive flag [13321]

The flag caseInsensitive not working anymore.

&gtExec Command="$(GplexTool) /caseInsensitive &"/out:...

Please reintroduce the flag caseInsensitive.
Comments: ** Comment from web user: k_john_gough **

Ok, sounds bad. I will check it out, and get back to users.