Changeset d7874052 for doc/user

Timestamp:

Jun 30, 2023, 4:22:16 PM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

6c7fe7b

Parents:

bdf4cd9e

Message:

print proper error for hiding enumerator names of an anonymous enumeration, which means the names are inaccessible

(No files)