upstream/v3.22.0

simon.steinbeiss@elfenbeinturm.at

0a0853fa · Decrease tab height in the terminal, gedit etc (fixes #158) · Nov 15, 2016

First release supporting Gtk+3.22, also still works for Gtk+3.20.x