Bump to database 1.3.1 release

Use the latest release database 1.3.1:

  • Merging two top-down databases no longer throws an exception (database#72 (closed))
  • Merging two remote databases no longer incorrectly reports that the merged database already exists (database#73 (closed))

Signed-off-by: Laksono Adhianto laksono@gmail.com

Merge request reports

Loading