From 9d5703238c50cb36d9916f007cc02a8fb0e8b642 Mon Sep 17 00:00:00 2001
From: djm <djm@openbsd.org>
Date: Wed, 4 Sep 2024 05:11:33 +0000
Subject: [PATCH] fix RCSID in output

---
 usr.bin/ssh/mlkem768.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/usr.bin/ssh/mlkem768.sh b/usr.bin/ssh/mlkem768.sh
index bdac0a95bdd..2fdc2831204 100755
--- a/usr.bin/ssh/mlkem768.sh
+++ b/usr.bin/ssh/mlkem768.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-#       $OpenBSD: mlkem768.sh,v 1.1 2024/09/02 12:13:56 djm Exp $
+#       $OpenBSD: mlkem768.sh,v 1.2 2024/09/04 05:11:33 djm Exp $
 #       Placed in the Public Domain.
 #
 
@@ -31,7 +31,7 @@ set +x
 
 cd $START
 (
-echo -n '/*  $OpenBSD: mlkem768.sh,v 1.1 2024/09/02 12:13:56 djm Exp $ */'
+printf '/*  $Open'; printf 'BSD$ */\n' # Sigh
 echo
 echo "/* Extracted from libcrux revision $LIBCRUX_REVISION */"
 echo
-- 
2.20.1