Subject: bug#39903: 28.0.50; Feature request: another filter for Package Menu

From: Stefan Kangas <[email-masked]>
Date: Sat, 9 May 2020 12:22:32 -0400

close 39903 28.1
thanks

Eli Zaretskii <[email-masked]> writes:

>> Have you signed the copyright assignment papers?
>
> Yes, he has.

Thanks.  This patch is now pushed to master as commit 196bc13b7b.
I'm closing the bug with this message.

Thank you, Pieter, for your contribution.

Best regards,
Stefan Kangas