commit | 84694af723bde07cf3231ed2d2e193123f5f73ed | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Fri Feb 08 15:30:17 2019 +0330 |
committer | GitHub <noreply@github.com> | Fri Feb 08 15:30:17 2019 +0330 |
tree | 95a08e2ecd65721892f146333182b4c307e82f7c | |
parent | 81ae4974e35aa8ca408abd6238eb768f5c948287 [diff] |
[ci] Disable the just added bot Doesn't play well with CircleCI apparently https://circleci.com/gh/harfbuzz/harfbuzz/74289
This is HarfBuzz, a text shaping library.
For bug reports, mailing list, and other information please visit:
For license information, see the file COPYING.
Documentation: https://harfbuzz.github.io