close 1076883 3.10.11.0-2
thanks

 * pdf-documentation patch: set larger pool_size

Hi. After trying several times in my autobuilders, I can verify that this
change fixed the problem, so I'm closing the bug myself.

Thanks.

Reply via email to