Ingo Schwarze writes: > Hi Jason, > > Jason McIntyre wrote on Thu, Jun 22, 2017 at 02:07:51PM +0100: > > > so do you want to remove the entry for 1003.1-2013 as well? > > none of our man pages use it. > > The decisive point is that even current groff does not support it, > so deleting it is unlikely to break other's pages. > > OK?
ok bentley@
