Merge pull request #344 from ebraminio/fixmacci
authorEbrahim Byagowi <ebrahim@gnu.org>
Tue, 11 Oct 2016 13:53:41 +0000 (17:23 +0330)
committerGitHub <noreply@github.com>
Tue, 11 Oct 2016 13:53:41 +0000 (17:23 +0330)
[ci] Whitelist more symbols and unbreak mac CI


Trivial merge