This should've been part of #124, but I forgot to update the logtools submodule. With this commit, compilation actually does work again on Windows (aside from count12 test failing, but I believe we discussed this/there's nothing we can do about it for now).
This should've been part of #124, but I forgot to update the
logtools
submodule. With this commit, compilation actually does work again on Windows (aside fromcount12
test failing, but I believe we discussed this/there's nothing we can do about it for now).