Olivier Duchateau 42c6a874ef 'MiscSlimTabs' option is now compatible with Gtk+ >= 3.18 (forget ... in revision r431102).		2017-01-10 17:37:07 +00:00
..
pkg-message.in	'MiscSlimTabs' option is now compatible with Gtk+ >= 3.18 (forget	2017-01-10 17:37:07 +00:00