make sure hash sets are handled properly, fixes #68#69

Merged

irmen merged 1 commit intoirmen:masterfrom adamsitnik:bugFix

May 15, 2019

+4-1

Commits on May 15, 2019

make sure hash sets are handled properly, fixes irmen#68
adamsitnik
committed