projects / platform / upstream / libHarfBuzzSharp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8903040) | patch
[ci] Upgrade Ubuntu 17.10 bots to 19.04
authorEbrahim Byagowi <ebrahim@gnu.org>
Tue, 7 May 2019 07:34:00 +0000 (12:04 +0430)
committerGitHub <noreply@github.com>
Tue, 7 May 2019 07:34:00 +0000 (12:04 +0430)
commitc3e0eafc80481f8c16516fdae1841c563e7253d4
tree64720c9656d75181355e92a599655aa830d7ec01tree | snapshot
parent8903040fcd09e7d7ad5112ac2a583718bb85795dcommit | diff
[ci] Upgrade Ubuntu 17.10 bots to 19.04
.circleci/config.yml diff | blob | history
Domain: Dotnet / API;