Skip to content
This repository was archived by the owner on Jun 7, 2023. It is now read-only.

Conversation

@bjones1
Copy link
Contributor

@bjones1 bjones1 commented Jul 23, 2021

I rebased this to the bookserver branch from its history in #1029. With the bookserver, this seems like a natural and easy addition. @bnmnetp, are you open to this?

@bjones1
Copy link
Contributor Author

bjones1 commented Aug 2, 2021

@bnmnetp, pinging...

@bjones1 bjones1 mentioned this pull request Sep 20, 2021
@bjones1
Copy link
Contributor Author

bjones1 commented Sep 20, 2021

Replaced by #1255.

@bjones1 bjones1 closed this Sep 20, 2021
@bjones1 bjones1 deleted the dynamic_problems branch October 1, 2021 09:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant