Skip to content

mentioning ssh interface, other docs fixes#866

Merged
jlnav merged 5 commits intodevelopfrom
docs/reverse_ssh
Jul 15, 2022
Merged

mentioning ssh interface, other docs fixes#866
jlnav merged 5 commits intodevelopfrom
docs/reverse_ssh

Conversation

@jlnav
Copy link
Copy Markdown
Member

@jlnav jlnav commented Jul 7, 2022

Sorry to say that some docs errors and typos came up when building locally - I wonder why they passed on our recent PRs? Oh well.

Addresses #838

@jlnav jlnav marked this pull request as ready for review July 8, 2022 15:43
@jlnav jlnav requested a review from shuds13 July 8, 2022 15:54
@jlnav jlnav merged commit 4cf8238 into develop Jul 15, 2022
@jlnav jlnav deleted the docs/reverse_ssh branch July 15, 2022 21:01
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.

2 participants