Workaround for mmtk-core logging issue#22

Merged

wks merged 1 commit intommtkfrom

test-workaround

Aug 31, 2022

Commits on Aug 30, 2022

Workaround for https://github.com/mmtk/mmtk-core/issues/654
chrisseaton
committed