I'm not proposing my changes to be merged into master because I
know they are merely workarounds rather than proper fixes (eg.
On Thursday, 1 August 2013 at 08:07:28 UTC, Russel Winder wrote:
The way to progress this is for you to to clone the GitHub
GitHub, clone it locally to your machines, create a feature
your proposed changes, push them to your GitHub clone and then
pull request via GitHub. I and others can then try things out
if the pull request can be merged into master.
The one thing that still worries me about all the E-Lisp stuff
– no unit