Merge pull request #1836 from ivaradi/focal
authorIstván Váradi <ivaradi@users.noreply.github.com>
Thu, 5 Mar 2020 16:03:00 +0000 (17:03 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Mar 2020 16:03:00 +0000 (17:03 +0100)
commit87c920cbf2d3449859cb76f48a4284318c0d47c8
treea1ad4880d5d47761b906c020a03d458a310324f7
parent76e4a2646a047a0121d4fa39c61560514e8948b6
parent9a23210e5914bd5890304a3e13f3b6e6ba18cfcf
Merge pull request #1836 from ivaradi/focal

Added Focal-specific files