Stefan Monnier wrote: > > How come messages are numbered like Message #5, #10, #15, rather than > > Message #1, #2, #3, ...? > > You mean like https://bugs.debian.org/1095863 ? But not https://bugs.debian.org/1095866 which starts with 5 and has a lot of multiples of 3 in it. -dsr-