Skip to content
This repository has been archived by the owner on Jan 15, 2024. It is now read-only.

Point at HEAD of cap #15

Merged
merged 2 commits into from
Mar 7, 2022
Merged

Point at HEAD of cap #15

merged 2 commits into from
Mar 7, 2022

Conversation

jbearer
Copy link
Member

@jbearer jbearer commented Mar 7, 2022

No description provided.

@jbearer jbearer self-assigned this Mar 7, 2022
@Ancient123
Copy link
Member

I think it is appropriate in this situation to also update the package version number up a patch number along with this. It is probably helpful to see the changes in cargo tree or other dependency views.

@jbearer jbearer merged commit 6e98531 into main Mar 7, 2022
@jbearer jbearer deleted the jeb-update-jf branch March 7, 2022 20:49
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.

None yet

2 participants