On Thu, 07 Jun 2012, Alessio Deiana wrote: > This was fixed long ago in ticket #944 and I strongly advice to use > that version instead.
Yes, let's look at merging DocExtract IRL together. > Alternatively, I made a patch for it in ticket #1081 but it is not the > only bug you will encounter. Thanks, cherry-picked, amended commit log, and merged to master. Please check and delete your personal branch. Best regards -- Tibor Simko
