Skip to content

Conversation

@thomashoneyman
Copy link
Contributor

@thomashoneyman thomashoneyman commented Jun 19, 2020

What does this pull request do?

Now that #73 has merged the library is going to need a major version bump. Accordingly, the functions marked deprecated in the previous release have now been removed from the library.

While removing these functions and reviewing other PRs I noticed there are a number of places where style had diverged in the library. This PR also includes a clean sweep through enforcing things like the use of forall and non-unicode characters, and it gives a few particularly dense sections of code a little room to breathe.

@thomashoneyman thomashoneyman self-assigned this Jun 19, 2020
@thomashoneyman thomashoneyman changed the title Standardize style in the library Standardize style in the library and remove deprecated functions Jun 19, 2020
@thomashoneyman thomashoneyman merged commit 9b00fcc into master Jun 19, 2020
@thomashoneyman thomashoneyman deleted the style branch August 5, 2020 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants