projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c729969 72f9bf3)
Merge pull request #7605 from cotequeiroz/libtins_soname
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 11 Dec 2018 17:14:02 +0000 (19:14 +0200)
committerGitHub <noreply@github.com>
Tue, 11 Dec 2018 17:14:02 +0000 (19:14 +0200)
libtins: copy libtins.so.* to package


Trivial merge
Mirror of packages feed