]> granicus.if.org Git - fribidi/commitdiff
Merge pull request #46 from khaledhosny/parallel-build
authorDov Grobgeld <dov.grobgeld@gmail.com>
Sun, 4 Feb 2018 17:15:17 +0000 (19:15 +0200)
committerGitHub <noreply@github.com>
Sun, 4 Feb 2018 17:15:17 +0000 (19:15 +0200)
Fix parallel build


Trivial merge