Comment 2 for bug 1904555

Thanks for your report, which is very timely. It looks like Debian no longer includes a version number in /etc/os-release (if in fact they did before). I'll update the script to handle it.

Unless you have need of the specific bug fixes in 0.9.24, running 0.9.23 will make little difference.