Problem: generated CI to still use obsolete Ubuntu 20.04.#1349

bluca merged 1 commit intozeromq:masterzeromq/zproject:masterfrom

stephan57160:masterstephan57160/zproject:masterCopy head branch name to clipboard