diff options
| author |   Michael Seifert <m.seifert@digitalernachschub.de> | 2018-10-04 18:19:45 +0200 |
|---|---|---|
| committer |   Andreas Sturmlechner <asturm@gentoo.org> | 2018-10-04 21:11:50 +0200 |
| commit | cebf7cb1c8872ee9f71e901779e2f7e717300773 (patch) | |
| tree | 280070e566ad24c28644c1a76332e5099894844f /media-sound | |
| parent | dev-python/ebuildtester: Version bump to v0.1.13 (diff) | |
| download | gentoo-cebf7cb1c8872ee9f71e901779e2f7e717300773.tar.gz gentoo-cebf7cb1c8872ee9f71e901779e2f7e717300773.tar.bz2 gentoo-cebf7cb1c8872ee9f71e901779e2f7e717300773.zip | |
dev-libs/flatbuffers: Version bump to v1.10.0
Bug: https://bugs.gentoo.org/667742
Signed-off-by: Michael Seifert <m.seifert@digitalernachschub.de>
Closes: https://github.com/gentoo/gentoo/pull/10061
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Diffstat (limited to 'media-sound')
0 files changed, 0 insertions, 0 deletions