Ubuntu
apt package

  1. Bug #1787460
  2. Comment #15

Comment 15 for bug 1787460

Revision history for this message
Julian Andres Klode (juliank) wrote :

(in practice the headers do not matter - if you have dkms installed, it will keep the headers alive)