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

From: Pieter van Oostrum <[email-masked]>
Date: Thu, 05 Mar 2020 15:24:02 +0100

I saw that I had inadvertently used a -- in the function name.
package-menu--filter-marked should be replaced with package-menu-filter-marked.
-- 
Pieter van Oostrum
www: http://pieter.vanoostrum.org/
PGP key: [8DAE142BE17999C4]