[Issue 8 drafts 0001712]: Specify case-sensitivity either everywhere or nowhere

2023-07-18 Thread Austin Group Bug Tracker via austin-group-l at The Open Group
The following issue has a resolution that has been APPLIED. == https://austingroupbugs.net/view.php?id=1712 == Reported By:rillig Assigned To

[Issue 8 drafts 0001712]: Specify case-sensitivity either everywhere or nowhere

2023-06-29 Thread Austin Group Bug Tracker via austin-group-l at The Open Group
The following issue has been RESOLVED. == https://austingroupbugs.net/view.php?id=1712 == Reported By:rillig Assigned To: ===

[Issue 8 drafts 0001712]: Specify case-sensitivity either everywhere or nowhere

2023-06-29 Thread Austin Group Bug Tracker via austin-group-l at The Open Group
A NOTE has been added to this issue. == https://austingroupbugs.net/view.php?id=1712 == Reported By:rillig Assigned To: =

[Issue 8 drafts 0001712]: Specify case-sensitivity either everywhere or nowhere

2023-05-07 Thread Austin Group Bug Tracker via austin-group-l at The Open Group
The following issue has been SUBMITTED. == https://austingroupbugs.net/view.php?id=1712 == Reported By:rillig Assigned To: ==