Re: Bug (and patch) in webcoll. (Git merge request)

[Tibor Simko]

On Thu, 04 Aug 2011, Benoit Thiell wrote:
> (Edited the subject to make this go in Tibor's merge folder.)

(BTW, it went there also originally, thanks to the word `patch'.)

Best regards
--
Tibor Simko