From =?UTF-8?Q?Micha=C5=82_G=C3=B3rny?=@21:1/5 to All on Tue Mar 28 16:50:01 2023
# Michał Górny <mgorny@gentoo.org> (2023-03-28)
# Unmaintained. The current Gentoo version is from 2017 and has
# multiple build failures reported.
# Removal on 2023-04-27. Bug #721816.
app-editors/le