Probably a bug fixed in GC: calling Gc.XXX() before removing custom caml leaves from Caml GC roots
Probably a bug fixed in GC: calling Gc.XXX() before removing custom caml leaves from Caml GC roots

git-svn-id: 807d1110ce56b928fe2acaa0df47d40c968741dc@220 c27d38ec-fa33-0410-b621-fb01b97e5d69

thizanne/mlcuddidl,thizanne/mlcuddidl,thizanne/mlcuddidl,thizanne/mlcuddidl