❦ 17 juillet 2019 23:04 -03, "Chris Lamb" <lamby@debian.org>:
- https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=348864
- https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=253011
There is no consensus.
Dmitry (added to CC), as you were the one championing this change, can
you please comment on the above? Perhaps particulary respect to
whether the severity should be reduced.
Hi Chris!
Are you sure? This is not about the alternative init but about manual
page section. It doesn't seem Dmitry is involved at all.