Ok, a patch was commited to the repo. Maybe backport that patch, or merge with IcedTea to get it, I don't know what would be the right policy here.
Ok, a patch was commited to the repo.
Maybe backport that patch, or merge with IcedTea to get it, I don't
know what would be the right policy here.