Hi!
Yes we did. Our solution was to store all velocity/acceleration/gravity/limit constants in RAM rather than ROM, and apply a 50/60 multiplier to them all on startup if playing on a PAL console. It's not 100% perfect (due to the precision of 16.16 fixed point) but almost indistinguishable to the naked eye.
Trained speed runners will be able to tell the difference, but if you're playing normally it'll be almost exactly the same experience as the NTSC version.
Matt