Please disregard PRQ#10016 and PRQ#10017. Fixing. Doug, will you allow me to adopt the other package "in danger"?
-------- Original Message --------
Subject: Re: [aur-requests] [PRQ#10017] Deletion Request for micro
Local Time: December 16, 2017 5:24 AM
UTC Time: December 16, 2017 4:24 AM
From: aur-requests@archlinux.org
To: notify--- via aur-requests <aur-requests@archlinux.org>
Doug Newgard <scimmia@archlinux.org>, nycko123@gmail.com
On Fri, 15 Dec 2017 23:30:41 +0000 (UTC)
nycko123 [1] filed a deletion request for micro [2]:
Hi there is no point of existing of this package.
It's a waste of space :)
A provide micro-bin. micro-git builds from sources.
It's existence is to build a release from source, you know, like a normal
package. -bit and -git are variants of this typical package. Your vandalism of
this package is the only reason that it's currently in bad shape. Someone
trying to undo this crap and bring back a good package is a good thing.