Ubuntu CI: make apt update before apt install

[llpp.git] / .mailmap

Hendrik Rosendahl <hendrik.rosendahl@rwth-aachen.de> <hendrikr_10@yahoo.de>
Nicolás Ojeda Bär <n.oje.bar@gmail.com>
Edwin Török <edwintorok@gmail.com>
 <clamky@hotmail.com> <moosotc@gmail.com> <av1474@comtv.ru>