Bug#1017415: Sponsored upload needed to fix elpa-agda2-mode #1017415

[Scott Talbert]

On Tue, 6 Dec 2022, Helmut Grohne wrote:

> Hi Scott,
>
> On Tue, Dec 06, 2022 at 11:54:49AM -0500, Scott Talbert wrote:
>> Run "dht tag <pkg_name>".
>> Push tag.  :)
>
> I suppose one needs commit access to DHG_packages to do this. Given that
> I don't intend to maintain haskell stuff (or packages in general), I
> think it would be easier if you or someone else could just create the
> tag than grant me access. I have commit access to waaay too many repos
> already.
>
> It's accepted in unstable.

Done.

Scott