[Issue 8 drafts 0001713]: Remove remark about square brackets meaning optional

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

[Issue 8 drafts 0001713]: Remove remark about square brackets meaning optional

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=1713 == Reported By:rillig Assigned To: