chiark / gitweb /
Merge branch 'new-settings' into devel
authorYouness Alaoui <kakaroto@kakaroto.homelinux.net>
Fri, 31 Jul 2015 20:28:45 +0000 (16:28 -0400)
committerYouness Alaoui <kakaroto@kakaroto.homelinux.net>
Fri, 31 Jul 2015 20:28:45 +0000 (16:28 -0400)
This merges a few missed commits


Trivial merge