Skip to content

gstreamer: adjust primary e-mail address - #15765

Merged
AdamKorcz merged 1 commit into
masterfrom
DavidKorczynski-patch-31
Jun 18, 2026
Merged

gstreamer: adjust primary e-mail address#15765
AdamKorcz merged 1 commit into
masterfrom
DavidKorczynski-patch-31

Conversation

@DavidKorczynski

@DavidKorczynski DavidKorczynski commented Jun 17, 2026

Copy link
Copy Markdown
Collaborator

Supersedes: #15753

@DavidKorczynski DavidKorczynski mentioned this pull request Jun 17, 2026
Closed
bilboed
bilboed approved these changes Jun 18, 2026
View reviewed changes

@bilboed bilboed 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.

Thanks

@AdamKorcz
AdamKorcz merged commit 5c6daf0 into master Jun 18, 2026
21 checks passed
@AdamKorcz
AdamKorcz deleted the DavidKorczynski-patch-31 branch June 18, 2026 10:30
@tp-m

tp-m commented Jul 23, 2026

Copy link
Copy Markdown

It's still sending e-mails to the old defunct mailing list address fwiw.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@AdamKorcz AdamKorcz AdamKorcz approved these changes
+1 more reviewer
@bilboed bilboed bilboed approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@DavidKorczynski @tp-m @bilboed @AdamKorcz