1 files changed, 1 insertions, 0 deletions
diff --git a/makediff.sh b/makediff.sh
index 679e2b6..4d48519 100755
--- a/makediff.sh
+++ b/makediff.sh
@@ -20,6 +20,7 @@ while read -r rev; do
 	git cherry-pick --keep-redundant-commits --allow-empty `git rev-list -1 -F --grep "$rev" $newrev` || exit 1
 done << 'EOF'
 headerfile: rename virtio_ring to virtio queue
+edit: drop obsolete commands related to cs02
 EOF
 
 #mv specvars.tex specvars-orig.tex