Jesse Hersch

oops looks like this is a dup of a 1 year old bug: https://github.com/notslang/atom-tidy-markdown/issues/77 I guess this is not maintained anymore. will uninstall.

Thanks for the quick response! I have lots more example mps files that reproduce this if you need any.

I just tried the x86_64-ubuntu22-gcc1140-static.tar.gz build from the tag here and it passed: https://github.com/coin-or/Cbc/releases/tag/releases%2F2.10.12 So this was probably fixed in the meantime, somewhere between 2.10.7 and 2.10.12. I was using...