Skip to content

Update Hotnets 2026#1515

Merged
mergify[bot] merged 1 commit into
ccfddl:mainfrom
sarendis56:main
May 12, 2026
Merged

Update Hotnets 2026#1515
mergify[bot] merged 1 commit into
ccfddl:mainfrom
sarendis56:main

Conversation

@sarendis56
Copy link
Copy Markdown
Contributor

Which conference does this PR update?

  • HotNets 2026

Related URL

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 9, 2026

Welcome to ccf-deadlines!
We're delighted to have you onboard (p≧w≦q)

@mergify mergify Bot added the updateconf update conference deadline label May 9, 2026
@mergify mergify Bot requested a review from a team May 9, 2026 10:46
@mergify mergify Bot merged commit a10dfeb into ccfddl:main May 12, 2026
4 checks passed
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 12, 2026

Great job!
Thank you @sarendis56 for your contribution!

@mergify mergify Bot added the ready-to-merge ready to merge the pr label May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-to-merge ready to merge the pr updateconf update conference deadline

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants