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)
commitf6e194e77a2c34cd118b47c0d73a22afde85dfda
treef0ad689c641e29e84215d2c11fd4ad09a97b026a
parent7201fdd0a8e26d49b13e289b53de375d5b1c9fcb
parentbef240b36ee9086b0d92e351e4c5118c0bbb5df6
Merge pull request #344 from ebraminio/fixmacci

[ci] Whitelist more symbols and unbreak mac CI