chiark / gitweb /
Merge remote-tracking branch 'origin/new-settings' into new-settings
authorYouness Alaoui <kakaroto@kakaroto.homelinux.net>
Fri, 31 Jul 2015 20:28:13 +0000 (16:28 -0400)
committerYouness Alaoui <kakaroto@kakaroto.homelinux.net>
Fri, 31 Jul 2015 20:28:13 +0000 (16:28 -0400)

Trivial merge