tree ae8277627c67885371f5ab8bdf6e7583743779c1
parent 7a8d0a10ce25d20bdd2021920b0b5ebbc0d3f3a6
author vanhauser-thc <vh@thc.org> 1682083368 +0200
committer vanhauser-thc <vh@thc.org> 1682083368 +0200

remove ubuntu 18.04 from ci, no resources for this on github