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

Raven notification cleanup #362

Merged
merged 4 commits into from
May 13, 2023
Merged

Raven notification cleanup #362

merged 4 commits into from
May 13, 2023

Conversation

EbonJaeger
Copy link
Member

Description

Fairly minor cleanup of code while I was attempting something that didn't pan out. Nothing should have changed functionality-wise.

Submitter Checklist

  • Squashed commits with git rebase -i (if needed)
  • Built budgie-desktop and verified that the patch worked (if needed)

EbonJaeger and others added 3 commits April 24, 2023 14:44
Signed-off-by: Evan Maddock <maddock.evan@vivaldi.net>
Signed-off-by: Evan Maddock <maddock.evan@vivaldi.net>
@serebit serebit added this to the 10.8 milestone Apr 30, 2023
@serebit serebit added the enhancement New feature or request label Apr 30, 2023
Copy link
Member

@JoshStrobl JoshStrobl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@JoshStrobl JoshStrobl merged commit 1186d47 into main May 13, 2023
@JoshStrobl JoshStrobl deleted the raven-notification-cleanup branch May 13, 2023 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants