Avoid GC problem in PowPerm2Int/PowPerm4Int#2320

Merged

fingolfin merged 1 commit intogap-system:masterfrom ChrisJefferson:perm-fix

Mar 28, 2018

+4-2

Commits on Mar 27, 2018

Fix bug caused by garbage collection
ChrisJefferson
committed