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)
Pull-Request: https://github.com/gentoo/gentoo/pull/170


Trivial merge