final gds oasis
diff --git a/gds/caravel_00020017.oas b/gds/caravel_00020017.oas new file mode 100644 index 0000000..9da6079 --- /dev/null +++ b/gds/caravel_00020017.oas Binary files differ
diff --git a/signoff/make_final_oas b/signoff/make_final_oas new file mode 100644 index 0000000..6152cbe --- /dev/null +++ b/signoff/make_final_oas
@@ -0,0 +1 @@ +3b5d1ef1d7c19a0d39a93f02399b7a798d5c3ab3 ./gds/caravel_00020017.oas