On Friday, 27 July 2018 at 11:03:50 UTC, Seb wrote:
What do you think? ------------------
Also, is there any other compelling reasons besides the test dependency problem to motivate merging the two repositories? What other benefits would it provide, if any?
Mike