Just now got upgraded by debian:
[workstation user ~]% apt policy tor tor: Installed: 0.4.8.10-1~bpo12+1