Thanks to Mariano, the code in trunk has much better ticket reporting.
Please give it a try. To see the new feature you must introduce bugs
in your code.

Massimo

Reply via email to