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

[Helmut Grohne]

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.

Helmut