Merge pull request #7605 from cotequeiroz/libtins_soname
authorHannu Nyman <redacted>
Tue, 11 Dec 2018 17:14:02 +0000 (19:14 +0200)
committerGitHub <redacted>
Tue, 11 Dec 2018 17:14:02 +0000 (19:14 +0200)
libtins: copy libtins.so.* to package


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