Merge branch 'master' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 27 May 2018 15:50:17 +0000 (15:50 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 27 May 2018 15:50:17 +0000 (15:50 +0000)
icontheme: Keep dir_mtimes in order

Closes #1115

See merge request GNOME/gtk!161


Trivial merge