media-libs/gavl: Merge "Add patch for x32"
authorMichał Górny <mgorny@gentoo.org>
Sat, 10 Oct 2015 08:39:05 +0000 (10:39 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 10 Oct 2015 08:39:05 +0000 (10:39 +0200)
commitb3c6cf1eee6fb13c4a92ed82eb9d6fe3192bf471
treeffe57d827726cb256e25402df41eb5980ef5a2cf
parent4bbf3c63d0a654da911a08311a7f9f26fb1ec428
parentd7673d38a8d5e8cf7c66f2166506b055f3231ca5
media-libs/gavl: Merge "Add patch for x32"

Pull-Request: https://github.com/gentoo/gentoo/pull/170