Skip to content

missing pop_scope for typedef in package scope#1913

Open
kroening wants to merge 1 commit into
mainfrom
package-typedef-pop-scope
Open

missing pop_scope for typedef in package scope#1913
kroening wants to merge 1 commit into
mainfrom
package-typedef-pop-scope