Skip to content

Conversation

@burrbull
Copy link
Member

No description provided.

@burrbull burrbull force-pushed the alarm branch 4 times, most recently from dbcb0a9 to eaecdf1 Compare May 28, 2023 18:09
@burrbull burrbull marked this pull request as ready for review May 28, 2023 18:09
Copy link
Member

@therealprof therealprof 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.

bors r+

@burrbull
Copy link
Member Author

bors retry

@burrbull burrbull merged commit 82edec9 into master May 29, 2023
@bors bors bot deleted the alarm branch May 29, 2023 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants