Interrupt still happening after detached. ( fix now available)

Using Arduino Programming Questions
30

Thanks. Do we know if this issue has been officially reported to the maintainers?