fix #1447: fixed opening databases from Dock

desktop/app.js

@@ -614,6 +614,10 @@ function coerceMainWindowPositionToConnectedDisplay() {
 }
 
 function reportStartProfile() {
+    if (!perfTimestamps) {
+        return;
+    }
+
     const processCreationTime = process.getCreationTime();
     const totalTime = Math.round(Date.now() - processCreationTime);
     let lastTs = 0;

release-notes.md

@@ -3,6 +3,7 @@ Release notes
 ##### v1.13.1 (2020-04-04)
 `-` fix #1444: fixed website favicons and attached images  
 `-` fix #1445: fixed offline mode in Chrome and Firefox  
+`-` fix #1447: fixed opening databases from Dock  
 
 ##### v1.13.0 (2020-04-03)
 `-` #1359: fixed Google Drive login issues in desktop apps