Merge link patch from Ubuntu debian7
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 17 Aug 2017 08:59:49 +0000 (10:59 +0200)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 17 Aug 2017 09:00:47 +0000 (11:00 +0200)
commitfa521264c8fae352e667587d84674de4687b8572
tree1cf37253a53d8b89ad49ce824d859e7ea1060974
parent65618ddec300898cbdb8bed31732661d349946b4
Merge link patch from Ubuntu
debian/changelog
debian/patches/link-pthread.diff [new file with mode: 0644]
debian/patches/series