Thanks. I've applied it to the rust-team branch. gnome-team: Feel free to apply it to your branch too if you want. I didn't make any changes to the patch. -- Efraim Flashner רנשלפ םירפא GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted