Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

add rule unstoppedTicker #33

Merged
merged 1 commit into from
Feb 12, 2022
Merged

add rule unstoppedTicker #33

merged 1 commit into from
Feb 12, 2022

Conversation

peakle
Copy link
Member

@peakle peakle commented Feb 12, 2022

PR for: #31

@peakle peakle added the enhancement New feature or request label Feb 12, 2022
@peakle peakle merged commit a0a5c52 into main Feb 12, 2022
@peakle peakle changed the title add rule unstoppedTimer add rule unstoppedTicker Feb 12, 2022
peakle added a commit that referenced this pull request Feb 12, 2022
@peakle peakle deleted the unreleasedTicker branch February 12, 2022 05:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant