Skip to content

server: Improve Ownership #277

Merged
bilelmoussaoui merged 12 commits intomainfrom
ownership-semantics
Jul 24, 2025
Merged

server: Improve Ownership #277
bilelmoussaoui merged 12 commits intomainfrom
ownership-semantics

Conversation

@A6GibKm
Copy link
Collaborator

@A6GibKm A6GibKm commented Jul 23, 2025

This is a bunch of small improvements that try to improve on the ownership semantics.

@A6GibKm A6GibKm force-pushed the ownership-semantics branch from cdf846f to 5b8c9ac Compare July 23, 2025 22:17
@bilelmoussaoui bilelmoussaoui merged commit fa669e1 into main Jul 24, 2025
7 checks passed
@bilelmoussaoui bilelmoussaoui deleted the ownership-semantics branch October 27, 2025 08:59
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