No matches were found for subject:"Bug#727692\: gerbv\: project file does not save all settings"