diff --git a/debian.realtime/variants b/debian.realtime/variants new file mode 100644 index 000000000000..7d33d6c6cd17 --- /dev/null +++ b/debian.realtime/variants @@ -0,0 +1,2 @@ +-6.8.1 +--