final gds oasis
diff --git a/gds/caravel_00020009.oas b/gds/caravel_00020009.oas new file mode 100644 index 0000000..a522bb8 --- /dev/null +++ b/gds/caravel_00020009.oas Binary files differ
diff --git a/signoff/make_final_oas b/signoff/make_final_oas new file mode 100644 index 0000000..ae56aef --- /dev/null +++ b/signoff/make_final_oas
@@ -0,0 +1 @@ +3cae20a989ec44e6cb49247ca59c5b291a62f8e7 ./gds/caravel_00020009.oas