Fixup for History Manager
Expand sidebar
Fixup for History Manager
Placeholder Andrey Gursky
requested to merge
fixup-for-history-manager
into
master
Mar 18, 2018
Overview
1
Commits
1
Pipelines
0
Reports
-
Changes
1
Only call Gtk.main_quit() if History Manager is running standalone.
Merge request reports
Loading
Loading
Loading