Revert previous front-end API changes + Cherry-pick fixes from master
- Jul 09, 2024
-
-
Frederik Hennig authored
-
Frederik Hennig authored
-
-
Frederik Hennig authored6ff7722e
-
Frederik Hennig authored72ea97cb
-
This MR reverts changes previously applied to the front-end API, in order to minimize divergence on the front-end side when the new backend is introduced.
This MR furthermore reapplies !377 (merged) and !382 (merged) onto the development branch.