Dear all,

I commited a fix to update display after pseudo-altering triggers. Dave: this 
might be ready for review...

Cheers,
Jean-Michel




Reply via email to