Repository navigation

Fix serialization of redefined nodes - #7413

Merged

msullivan merged 2 commits into

class-redef-crash

Aug 29, 2019

Merged

Fix serialization of redefined nodes#7413
msullivan merged 2 commits into
masterfrom
class-redef-crash

Commits on Aug 28, 2019
- Fix serialization of redefined nodes
  msullivan
  committed
  1e2d150
Commits on Aug 29, 2019
- Fix another nasty issue
  msullivan
  committed
  8e516eb