Hi James, * James Youngman ([email protected]) [20121214 23:56]: > I have pushed an alternative patch. It is more complex but I hope > more efficient. It's described at https://savannah.gnu.org/bugs/?37926.
your patch is definitely more efficient. Thank you for doing the work. Philipp
