]> granicus.if.org Git - check/commitdiff
Merge branch 'master' into hurd-clock-gettime
authorNirbheek Chauhan <nirbheek.chauhan@gmail.com>
Fri, 4 Nov 2016 02:32:16 +0000 (08:02 +0530)
committerGitHub <noreply@github.com>
Fri, 4 Nov 2016 02:32:16 +0000 (08:02 +0530)

Trivial merge