Merge pull request #13259 from neheb/lttools
authorRosen Penev <redacted>
Mon, 31 Aug 2020 07:37:33 +0000 (00:37 -0700)
committerGitHub <redacted>
Mon, 31 Aug 2020 07:37:33 +0000 (00:37 -0700)
lttng-tools: update to 2.12.1


Trivial merge
git clone https://git.99rst.org/PROJECT