Skip to content

Conversation

@y9san9
Copy link
Member

@y9san9 y9san9 commented Jan 26, 2026

No description provided.

@y9san9 y9san9 requested a review from demndevel January 26, 2026 22:27
@y9san9 y9san9 force-pushed the push-notifications branch 2 times, most recently from b711229 to 2713d08 Compare January 26, 2026 22:32
@y9san9
Copy link
Member Author

y9san9 commented Jan 26, 2026

It's working

Screenshot 2026-01-27 at 01 21 52

@y9san9 y9san9 force-pushed the push-notifications branch from 240e12e to 318bf25 Compare January 26, 2026 22:47
@y9san9
Copy link
Member Author

y9san9 commented Jan 26, 2026

Bro this desugaring thing works poorly.... It broke a lot of things, but I think I am going to leave it as is in that PR

@demndevel
Copy link
Member

Bro this desugaring thing works poorly.... It broke a lot of things, but I think I am going to leave it as is in that PR

yep, removed it in the latest commit

@demndevel demndevel merged commit c193f06 into main Jan 27, 2026
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.

3 participants