Skip to content
Snippets Groups Projects

Resolve "Proposal library"

Merged 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

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading