Merge branch 'theme-checkbutton-padding' into 'master'
authorJakub Steiner <jimmac@gmail.com>
Mon, 18 May 2020 13:12:15 +0000 (13:12 +0000)
committerJakub Steiner <jimmac@gmail.com>
Mon, 18 May 2020 13:12:15 +0000 (13:12 +0000)
Adwaita: Tweak padding in checkbutton & radiobutton

Closes #2697

See merge request GNOME/gtk!1927


Trivial merge