-
Notifications
You must be signed in to change notification settings - Fork 22
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
Rename scheduling to periodic #174
Rename scheduling to periodic #174
Conversation
3ca32e7
to
f1672f3
Compare
@fonsecadeline can you merge all the commits of this PR so that renaming is done in one single commit? |
ecfb79c
to
e506ba7
Compare
d6507dd
to
f585342
Compare
5406d64
to
4fe4411
Compare
4fe4411
to
d26789a
Compare
|
d26789a
to
5ecc6f8
Compare
5ecc6f8
to
7dfcc1f
Compare
I don't know, the heuristic was always called periodic on the user side, so there is no change from their point of view. From the dev point of view, it doesn't sound like it deserves to be on the changelog but either way is fine for me. |
6f779a1
to
796afb6
Compare
796afb6
to
5d9376d
Compare
No description provided.