final gds oasis
diff --git a/gds/caravel_00020007.oas b/gds/caravel_00020007.oas new file mode 100644 index 0000000..ecdc886 --- /dev/null +++ b/gds/caravel_00020007.oas Binary files differ
diff --git a/signoff/make_final_oas b/signoff/make_final_oas new file mode 100644 index 0000000..313126a --- /dev/null +++ b/signoff/make_final_oas
@@ -0,0 +1 @@ +400bf6830446e6831d8a02c0a5e0dc7d7c9e9120 ./gds/caravel_00020007.oas