Yes that sounds exactly like the bug I ran into. I have indeed been having issues with my touchpad double clicking very rapidly in the past. Hope you have the time to fix it sometime, but this also means that it's highly unlikely that many people are affected by the bug :)