Summary of changes: cc4b29e... 3.11.0 (*) e7c008e... fix sources (*) fa22240... 3.11.0 (*) 729e3ac... Patch to add glade_signal_editor_get_widget(), needed for A (*) (*) This commit already existed in another branch; no separate mail sent