nguyenphuminh/Catto

Last release 0.12.1 - version number not updated

Closed this issue · 1 comments

rwbc commented

I just want to mention that you forgot to change the uci id for your last release.
Instead of 0.12.1 it still calls itself 0.12.0.

Guenther (RWBC)

nguyenphuminh commented

Oops, I uploaded the wrong binary, have reuploaded the proper one.

Thanks for notifying me!