v0.0-3769-gbfb6c2c1: Merge pull request #2246 from sconwayaus/symbol_table_interface_fix
·
121 commits
to master
since this release
Fixes issue where interfaces were not being added to the symbol table.