Fix remove_constant to stop removing constants that are already remove_constanted but not GCed#2200

Open

genkami wants to merge 2 commits intopadrino:masterfrom genkami:fix-remove-constant

+34

Commits on Nov 7, 2018

fix remove_constant to stop removing constants accidentally
genkami
committed

Commits on Jul 12, 2019

add test for removing constants that are already removed
genkami
committed