To push things on I've released 0.18.0. It should ...
# minutestd
dmcg
10/28/2018, 1:38 PMTo push things on I've released 0.18.0. It should be mainly source compatible with 0.17.0, although some imports may have changed, and the rules support is temporarily removed