Straight port of tamarin cset 36075471f3f7. (Plus a small amount of whitespace and formatting cleanup, as usual.)
Attachment #394534 - Flags: review?(gal)
Comment on attachment 394534 [details] [diff] [review] Port of the change in question Do we want to keep the CSE stuff alive in the IR cache?
Attachment #394534 - Flags: review?(gal) → review+
I don't know what you mean. IR cache?
Status: NEW → RESOLVED
Closed: 10 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.