Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update install documentation #215

Closed
wants to merge 1 commit into from
Closed

update install documentation #215

wants to merge 1 commit into from

Conversation

johrstrom
Copy link
Collaborator

update install documentation to fix #214

@sjpb
Copy link
Contributor

sjpb commented Oct 20, 2023

I realised that in fact I think the current behaviour is problematic - see #217 for reasoning and a suggestion.

@johrstrom
Copy link
Collaborator Author

I'm going to merge #217, so I'm going to close this as it's duplicate/insufficient.

@johrstrom johrstrom closed this Dec 12, 2023
@johrstrom johrstrom deleted the johrstrom-patch-1 branch December 12, 2023 14:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Version install logic not as documented
2 participants