Closed mvanholsteijn closed 3 years ago
The Travis failure is unrelated to this PR, and should be fixed once sync'ed with master.
@ooq can you merge this PR?
Hi @mvanholsteijn , can you update it with master (I can't update your branch)? Once that's done, you should be able to merge it on your end.
closes #596