Summary of changes: dfcdb0f... Install the 32 bit GtkLauncher.exe in the mingw32- package (*) 95eb535... Update to 1.7.92 (*) 58db5cc... Remove build options that configure no longer recognizes (*) d977de8... Don't build documentation (*) (*) This commit already existed in another branch; no separate mail sent