Skip to content
This repository has been archived by the owner on Nov 11, 2022. It is now read-only.

Simplify the design and add a mini timer #872

Merged
merged 60 commits into from
Nov 27, 2021
Merged

Simplify the design and add a mini timer #872

merged 60 commits into from
Nov 27, 2021

Conversation

ktmouk
Copy link
Collaborator

@ktmouk ktmouk commented Nov 22, 2021

No description provided.

@ktmouk ktmouk added the type: feature New feature or request label Nov 22, 2021
@ktmouk ktmouk self-assigned this Nov 22, 2021
@ktmouk ktmouk marked this pull request as ready for review November 27, 2021 12:13
@ktmouk ktmouk merged commit b1a4f6e into main Nov 27, 2021
@ktmouk ktmouk deleted the mini-timer branch November 27, 2021 12:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
type: feature New feature or request
Development

Successfully merging this pull request may close these issues.

1 participant