Ebrahim Byagowi 84694af723 [ci] Disable the just added bot ... Doesn't play well with CircleCI apparently https://circleci.com/gh/harfbuzz/harfbuzz/74289		2019-02-08 15:30:17 +03:30
..
config.yml	[ci] Disable the just added bot	2019-02-08 15:30:17 +03:30