I confirm your analysis of this bug. I also concur with Seb's recommendation that you forward this bug upstream to the Debian maintainer. The mingetty package is a seldom-used package in Ubuntu universe which is currently in sync with Debian, it doesn't seem to make sense to carry a delta in Ubuntu for this issue.
Please use 'reportbug -B debian mingetty' to forward this bug report to the maintainer.
I confirm your analysis of this bug. I also concur with Seb's recommendation that you forward this bug upstream to the Debian maintainer. The mingetty package is a seldom-used package in Ubuntu universe which is currently in sync with Debian, it doesn't seem to make sense to carry a delta in Ubuntu for this issue.
Please use 'reportbug -B debian mingetty' to forward this bug report to the maintainer.