Closed MilesCranmer closed 4 months ago
Fixes #606.
This updates the backend as well.
Since the backend just updated an hour ago, I will wait a couple of days to merge this, so that global registries are less likely to be out-of-date.
Fixes #606.
This updates the backend as well.
Since the backend just updated an hour ago, I will wait a couple of days to merge this, so that global registries are less likely to be out-of-date.