This is a prerequisite for https://github.com/Plume-org/Plume/pull/205
I have not been able to make it works with a more recent commit revision of rocket, due to some strange behavior in the codegen part of the framework.
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?