Merge pull request #1286 from equinox0815/pps-tools-linux3.18
authorTed Hess <thess@kitschensync.net>
Sat, 23 May 2015 17:25:28 +0000 (13:25 -0400)
committerTed Hess <thess@kitschensync.net>
Sat, 23 May 2015 17:25:28 +0000 (13:25 -0400)
pps-tools: enable for Linux 3.18


Trivial merge