Merge pull request #1 from RyanGlScott/master master
authorHerbert Valerio Riedel <hvr@gnu.org>
Thu, 18 May 2017 12:45:49 +0000 (14:45 +0200)
committerGitHub <noreply@github.com>
Thu, 18 May 2017 12:45:49 +0000 (14:45 +0200)
Allow building with base-4.10.0.0


Trivial merge