K 10
svn:author
V 8
olivierd
K 8
svn:date
V 27
2017-01-10T17:37:07.659363Z
K 7
svn:log
V 88
'MiscSlimTabs' option is now compatible with Gtk+ >= 3.18 (forget
in revision r431102).

END