Subject: [bug#72925] [PATCH v10] gnu: Add jpm.

From: Suhail Singh <[email-masked]>
Date: Wed, 09 Oct 2024 13:15:56 -0400

Omar Bassam <[email-masked]> writes:

> So is this patch now done

I have nothing to add other than what I did in v12.  I don't know if
that means it's "done".

> and ready to be merged?

That's a question for others more experienced than myself, and probably
for someone with commit access.

> or do we need something else?

See above.

-- 
Suhail