Closed bwilkerson closed 6 years ago
Check if the version number needs to be incremented (it's not a .0.0-dev version). This is an API change, which is breaking if any strong mode program implements the interface.
Otherwise LGTM.
The version number is currently "1.0.1-dev", so I presume it's fine to leave it that way.
Re-created to work around merge conflicts.