Search box for manpages in Yelp: maintainer help needed

I subscribed to this merge request as a result of one of Sam’s “merge requests in need of attention” last year:

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?

@shaunm is the maintainer of Yelp

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