Bug#934536: info version not shipped, close this bug?

On Thu, Feb 09, 2023 at 02:35:42PM +, Holger Levsen wrote: > control: tags -1 +moreinfo > thanks > > hi, > > (originally sent to the wrong (but archived) bug number...) > > we're not shipping the manual in .info format, so I'm wondering whether this > bug should simply be closed, or why

Bug#934536: info version not shipped, close this bug?

control: tags -1 +moreinfo thanks hi, (originally sent to the wrong (but archived) bug number...) we're not shipping the manual in .info format, so I'm wondering whether this bug should simply be closed, or why not? -- cheers, Holger ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁