tree 705d89b0c07eedb750a01f68ec63ae3640c0ea82
parent 0e68492f3d84d604f0caf98dfcd6eef2f4316c3c
author Matt Venn <matt@mattvenn.net> 1669384263 +0100
committer Matt Venn <matt@mattvenn.net> 1669384263 +0100

fetch gds too, so caravel config succeeds