{{tag>Change_Log Version:V10.1}}
[<10>]
====== Build 3720 ======

===== Bugs =====
  - Check integrity when run for the second time gave wrong results
  - When the system could not start because of "port is already in use" problem, Java process was left in memory
  - Deleting a business space version could cause a crash
  - Query that used sorting by shortcuts didn't return records with blank values