Closed JoramSoch closed 5 years ago
This is a pull request for incorporating my commit fa5f49075f93a2f9d4687844e9b1768499b4f921.
Closing as this is replaced by the more thorough refactor #63.
This is a pull request for incorporating my commit fa5f49075f93a2f9d4687844e9b1768499b4f921.