Bison - Patches: patch #9617, extra_header_prefix to avoid name...
You are not allowed to post comments on this tracker with your current authentication level.
patch #9617: extra_header_prefix to avoid name clashes in generated headers
Submitter: | Frank Heckenbach <frank> | ||
Submitted: | Sat 14 Apr 2018 05:32:15 AM UTC | ||
Category: | None | Priority: | 5 - Normal |
Status: | None | Privacy: | Public |
Assigned to: | None | Open/Closed: | Closed |
Wed 07 Nov 2018 05:00:29 PM UTC, comment #1: |
Akim Demaille <akim> |
Sat 14 Apr 2018 05:32:15 AM UTC, original submission:
Bugfix as posted in:
|
Frank Heckenbach <frank> |
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 2 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2018-11-07 | akim | Open/Closed | Open | Closed | |
2018-04-14 | frank | Attached File | - | Added extra_header_prefix.patch, #43923 |
Powered by Savane 3.13-bb6a.
Corresponding source code
Bison 3.2 addresses these issues, in a different way.