Hi Jason,
On Thu, Mar 14, 2024 at 12:34:03AM +0100, Jason A. Donenfeld wrote:
This has been sitting on the list for a while with a few positive reviews and no outstanding objections, afaict. Can you merge this to tip?
the tip tree is open for new code after the merge window is over.