Re: bbMenu 1.2 released!
No problem mate, it only seems fair to me to credit the right persons.
Also, don’t put too much energy into the double-click bug. I am currently working on version 2 and it’s using jQuery instead of all the scripts it’s using now (like prototype). So the current double-click feature will be replaced by jQuery