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