"ray carter"  wrote in message
news:g2mh3sFkm0jU3@mid.individual.net...
> Just FYI, you can find
> out your version number with 'cat /etc/*version'. On my PI, the file is
> /etc/Debian_version and shows '9.4'. On my desktop, it is
> /etc/debian_version and shows '9.5'. As previously noted, the raspbian
> updates trail the debian ones by a bit.

Interesting: on my Pi, it's /etc/debian_version, with a small d.

--- SoupGate-Win32 v1.05