final gds oasis
diff --git a/gds/caravel_00020005.oas b/gds/caravel_00020005.oas new file mode 100644 index 0000000..b5b73a9 --- /dev/null +++ b/gds/caravel_00020005.oas Binary files differ
diff --git a/signoff/make_final_oas b/signoff/make_final_oas new file mode 100644 index 0000000..a42dffc --- /dev/null +++ b/signoff/make_final_oas
@@ -0,0 +1 @@ +3c0d1973a2e6dfe88783a1b0794bbd29c5224531 ./gds/caravel_00020005.oas