[spec] Add size_{table,mem} to embedder interface#592

Merged

rossberg merged 1 commit intomasterfrom embedder.mem

Oct 25, 2017

Commits on Oct 24, 2017

[spec] Add size_{table,mem} to embedder interface
rossberg
committed