Closed larsvilhuber closed 1 year ago
Not sure whether to this before or after journal endorsements.
I would do this before, but the subsequent endorsement will then need to be enhanced with the handles.
Let me address the merge conflict.
@korenmiklos Now you can approve the merge.
@korenmiklos You can approve this - it should merge just fine.
Addresses the first part of #1