mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
5075b55d9b
It's clear from 8cd7407a5d3d ("sci-mathematics/why3-for-spark: drop
myself as a maintainer") that the intention was to remove himself.
Signed-off-by: Matt Turner <mattst88@gentoo.org>