Closed Atul9 closed 4 years ago
@oli-obk ok, once that PR is merged please me ping here & I can rebase this from master & update the PR
Thanks! will do
@Atul9 the other PR has been merged
@oli-obk done, I have branched-off from master & updated this PR
Ok, CI passes now. @Atul9 lmk whether you prefer to merge it as is or to address the formatting comments before merging (in which case we'll do it after the merge).
@oli-obk I prefer to merge it as is.
I get that some things get worse, but I like autoformatting too much.
Since we have a large PR incoming with changes ( #23 ). I'd prefer to hold up on applying rustfmt to after that.