Merge remote-tracking branch 'origin/topic/jsiwek/ci-debian-10-gcc'

* origin/topic/jsiwek/ci-debian-10-gcc:
  Change Debian 10 CI config to use GCC
This commit is contained in:
Tim Wojtulewicz 2020-11-10 13:55:33 -07:00
commit 2e57f8487b
3 changed files with 7 additions and 9 deletions

View file

@ -1 +1 @@
3.3.0-dev.509
3.3.0-dev.512