Merge tag 'debian/4.12.13-1' into stretch-backports
"Release linux (4.12.13-1)." Drop the ABI reference files for 4.12.0-2 and change our ABI number to 0.bpo.2.
Showing
"Release linux (4.12.13-1)." Drop the ABI reference files for 4.12.0-2 and change our ABI number to 0.bpo.2.