Skip to content

sync-upstream: Create proper links to upstream PRs#127

Merged
jonasnick merged 2 commits into
masterfrom
real-or-random-patch-1
Mar 10, 2021
Merged

sync-upstream: Create proper links to upstream PRs#127
jonasnick merged 2 commits into
masterfrom
real-or-random-patch-1

Conversation

@real-or-random

Copy link
Copy Markdown
Member

No description provided.

@real-or-random real-or-random force-pushed the real-or-random-patch-1 branch from 966fc19 to 136ed8f Compare March 10, 2021 15:14
@real-or-random real-or-random marked this pull request as ready for review March 10, 2021 15:16

@jonasnick jonasnick left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK 136ed8f

@jonasnick jonasnick merged commit 6a7861f into master Mar 10, 2021
@real-or-random real-or-random deleted the real-or-random-patch-1 branch March 30, 2026 11:10
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