debian/4.16.12-1

Salvatore Bonaccorso

@carnil

771e5be2 · Prepare to release linux (4.16.12-1). · May 27, 2018

Release linux (4.16.12-1).