Skip to content

Resolve "Proposal library"

Moritz Huebner requested to merge 245-proposal-library into master

Closes #245 (closed)

@rhys.green @christopher-berry @virginia.demilio @colm.talbot

I opened this MR to get work on the implementation of jump proposals started.

Edited by Moritz Huebner

Merge request reports