Closed hamilton closed 4 years ago
We need this PR since for now, what people know as the GUD frontend is now frozen in the prototype branch. This will apply the change for this particular branch. See #82 for the same PR targeting the dev / prod workflow.
prototype
We need this PR since for now, what people know as the GUD frontend is now frozen in the
prototype
branch. This will apply the change for this particular branch. See #82 for the same PR targeting the dev / prod workflow.