diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-09-19 19:48:08 +0200 |
|---|---|---|
| committer |   Michał Górny <mgorny@gentoo.org> | 2018-09-30 13:44:32 +0200 |
| commit | b8f75793ffc80f43466bc645bd02e6525cd042a8 (patch) | |
| tree | 20935f95bbc9b76457d359d49abb3353c69e48cd /media-libs/raspberrypi-userland | |
| parent | net-misc/econnman: new package (diff) | |
| download | gentoo-b8f75793ffc80f43466bc645bd02e6525cd042a8.tar.gz gentoo-b8f75793ffc80f43466bc645bd02e6525cd042a8.tar.bz2 gentoo-b8f75793ffc80f43466bc645bd02e6525cd042a8.zip | |
dev-libs/shhopt: EAPI7 revbump, improve ebuild
Closes: https://bugs.gentoo.org/666574
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Closes: https://github.com/gentoo/gentoo/pull/9921
Diffstat (limited to 'media-libs/raspberrypi-userland')
0 files changed, 0 insertions, 0 deletions