Merge pull request #1832 from ivaradi/focal
authorMichael Schuster <48932272+misch7@users.noreply.github.com>
Thu, 5 Mar 2020 01:45:25 +0000 (02:45 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Mar 2020 01:45:25 +0000 (02:45 +0100)
commit398c5a2a372fd53388b18fedff25a90117e5aec0
tree5e2e890ec368093648352b115031bf9563a633ef
parent5ef08a51b2d1493d8cad7882c44cd0009409532b
parent744d527300fcbdfd18232c6cad7eb86361a3911a
Merge pull request #1832 from ivaradi/focal

Added build for Focal