Skip to content

chiark.greenend.org.uk/putty#1851

Merged
jhheider merged 1 commit into
pkgxdev:mainfrom
and-ri:chiark.greenend.org.uk/putty
May 6, 2023
Merged

chiark.greenend.org.uk/putty#1851
jhheider merged 1 commit into
pkgxdev:mainfrom
and-ri:chiark.greenend.org.uk/putty

Conversation

@and-ri
Copy link
Copy Markdown
Contributor

@and-ri and-ri commented May 6, 2023

closed #739
depends #1850

@what-the-diff
Copy link
Copy Markdown

what-the-diff Bot commented May 6, 2023

PR Summary

@jhheider jhheider force-pushed the chiark.greenend.org.uk/putty branch from 4158a9d to d8fbed4 Compare May 6, 2023 18:21
@jhheider jhheider merged commit 1afe1a9 into pkgxdev:main May 6, 2023
@and-ri and-ri deleted the chiark.greenend.org.uk/putty branch May 10, 2023 15:22
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.

+putty (533/548)

2 participants