@Mario: is there an official version where the bug is resolved for which we could request an update in Maverick?
@Mario: is there an official version where the bug is resolved for which we could request an update in Maverick?