From b94db01fffe21e64f594e0235fabaa00903fdd93 Mon Sep 17 00:00:00 2001 From: "Michael S. Tsirkin" Date: Thu, 10 Jan 2019 12:43:47 -0500 Subject: edit: pick up a cleanup commit for diff Signed-off-by: Michael S. Tsirkin --- makediff.sh | 1 + 1 file changed, 1 insertion(+) 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 -- cgit