On 11/06/11 12:55, Bruno Haible wrote: > Here's a proposed patch. By the way, did you receive an URL we can include > in the comments here, meanwhile?
Sure, thanks, that patch looks fine; please push. I didn't get a URL yet, but did get a Sun review ID that I just now added to the documentation.
