BTW, I have published an updated version of JNIPort which partly resolves the performance issue caused by using #become:.
Joachim -- My OpenPGP Key: 29F88108 available from hkp://wwwkeys.de.pgp.net
BTW, I have published an updated version of JNIPort which partly resolves the performance issue caused by using #become:.
Joachim -- My OpenPGP Key: 29F88108 available from hkp://wwwkeys.de.pgp.net