summaryrefslogtreecommitdiffstats
path: root/debian/linux-headers-armmp.maintscript
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-03 05:09:01 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-03 05:09:07 +0000
commit3d42fd11dcae3ce46bd299124321f9b6d2bcee5c (patch)
tree5da2763d32f0c8f66c90e1e4c10bc3ca8fcd1e57 /debian/linux-headers-armmp.maintscript
parentMerging upstream version 6.8.12. (diff)
downloadlinux-3d42fd11dcae3ce46bd299124321f9b6d2bcee5c.tar.xz
linux-3d42fd11dcae3ce46bd299124321f9b6d2bcee5c.zip
Merging debian version 6.8.12-1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/linux-headers-armmp.maintscript')
-rw-r--r--debian/linux-headers-armmp.maintscript2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/linux-headers-armmp.maintscript b/debian/linux-headers-armmp.maintscript
index 05b4f48928..1dd9399b47 100644
--- a/debian/linux-headers-armmp.maintscript
+++ b/debian/linux-headers-armmp.maintscript
@@ -1 +1 @@
-dir_to_symlink /usr/share/doc/linux-headers-armmp linux-headers-6.8.11-progress7.99-armmp 5.7~rc5-1~exp1 linux-headers-armmp
+dir_to_symlink /usr/share/doc/linux-headers-armmp linux-headers-6.8.12-armmp 5.7~rc5-1~exp1 linux-headers-armmp