Indeed, my Tor guard relay has been recently updated to Tor 0.4.8.5, although the Tor version is still considered to be 0.4.7.13 by the hourly consensus generated by the directory authorities.
Special thanks to Peter Palfrader for continuing to maintain the Debian version of Tor.