On 2023-08-13 18:58, Shani Leviim wrote: > That's very strange > Working on master, my HEAD commit is commit > 60eb580d1e836977d57355b6519f32e37bdc3392. > I might be missing something. Indeed. That commit is somewhere between man-pages-6.02 and man-pages-6.03, around 600 commits and 8 months ago. A lot of things have changed since then. I released a few days ago man-pages-6.05.01. :) Don't worry, I'll apply the patch there and rebase it to git HEAD. Cheers, Alex -- <http://www.alejandro-colomar.es/> GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature