Comment 212 for bug 417757

no, the patch is not dropped. Martin, I would appreciate it if you could have a look at this again.