Create auxiliary symbols with a different name than symbols in namespace [blocks: #4885]#4925

Merged

danpoe merged 1 commit intodiffblue:developfrom

danpoe:feature/get-fresh-symbol-in-namespace

Jul 22, 2019

Commits on Jul 18, 2019

Create aux symbol with a different name than symbols in namespace
danpoe
committed