Closed
Description
This issue was copied from checkedc/checkedc-clang#962
We first submitted them in PR #837, but Mandeep noticed
(checkedc/checkedc-clang#837 (review))
and the unintended changes were removed from that PR in
74bfcafad6b194bec68c30e04063aea5591a7f7a. However, when the squash of
PR #837 was merged with the original commits in
cfc998e, the unintended changes were
incorrectly retained. They got submitted again in the next 3C PR
(#891), and no one noticed that time.
Metadata
Metadata
Assignees
Labels
No labels