# Michał Górny <mgorny@gentoo.org> (2020-10-23)
# Committed with missing patch mid-2018.  Not fixed since.
# Removal in 30 days.  Bug #653310.
games-arcade/ceferino

-- 
Best regards,
Michał Górny