Search box for manpages in Yelp: maintainer help needed

Applications
1

I subscribed to this merge request as a result of one of Sam’s “merge requests in need of attention” last year: Support search box for man pages (!29) · Merge requests · GNOME / yelp · GitLab

It implements searching for manpages in Yelp. I would find this feature useful, personally! I reviewed it last year and it looks reasonable, but I’m not a maintainer of Yelp. Is there a maintainer around who could merge this?

2

@shaunm is the maintainer of Yelp

3

This topic was automatically closed 14 days after the last reply. New replies are no longer allowed.