Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager #290

Merged
merged 21 commits into from
Feb 8, 2025

Conversation

shnarazk
Copy link
Owner

@shnarazk shnarazk commented Feb 6, 2025

No description provided.

@shnarazk shnarazk added the type system Changes on types for safety or generality label Feb 6, 2025
@shnarazk shnarazk self-assigned this Feb 6, 2025
@shnarazk shnarazk changed the title pub static mut VarActivityManager pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager Feb 6, 2025
@shnarazk shnarazk marked this pull request as ready for review February 7, 2025 00:49
@shnarazk shnarazk mentioned this pull request Feb 7, 2025
9 tasks
@shnarazk shnarazk merged commit 0705c8d into dev-0.18.0-20250128 Feb 8, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type system Changes on types for safety or generality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant