Marvin 4.0.1
Bug fixes
- Reverted time management changes introduced in 3.6.0 since they caused a degrade when using Fischer time control
- Fixed search depth handling when using multiple threads
- Fixed a number of smaller issues related to search info output