Commit 84694af723bde07cf3231ed2d2e193123f5f73ed

Ebrahim Byagowi 2019-02-08T15:30:17

[ci] Disable the just added bot Doesn't play well with CircleCI apparently https://circleci.com/gh/harfbuzz/harfbuzz/74289