bug found in core, wiring_digital.c, function turnOffPWM(uint8_t timer)

Hi, I have posted the report and solution here:

Hope it will be accepted and fixed,

Regards