Comment 3 for bug 1426418

Revision history for this message
John Lenton (chipaca) wrote :

push is setting the right PULSE_PROP, so maybe it's not being picked up?

I'll chase it down; thanks for the heads up.