-
Notifications
You must be signed in to change notification settings - Fork 37
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
dunai-test
: Remove deprecated functions
#444
Comments
If someone wants to do this, please go ahead and send a PR. Please create 2 commits:
Please check out the recent history of this repository to see how we normally document commits, and how we link commits to issues in the subject line of the commit messages. |
dunai-test
dunai-test
: Remove deprecated functions
What about the deprecations in |
Hi @solomon-b . I opened a separate issue to deal with those: #445 It should be sent in a separate PR to this one. Thanks! |
…#444. Module FRP.Dunai.LTLPast in dunai-test includes several deprecated definitions that were deprecated a year ago. Per our policy to wait 3 versions until a deprecated definition can be removed, these function can now be removed. This commit removes deprecated functions from FRP.Dunai.LTLPast.
dunai-test
includes several deprecated definitions that were deprecated a year ago (see #385). They can safely be removed.The text was updated successfully, but these errors were encountered: