Merge pull request #1503 from processing/chore/upgrade-react-redux

[#1498] Upgrade react-redux to 7.2.0

Author: catarak

package-lock.json

@@ -200,7 +200,7 @@
     "react-helmet": "^5.1.3",
     "react-hot-loader": "^4.12.19",
     "react-i18next": "^11.5.0",
-    "react-redux": "^5.1.2",
+    "react-redux": "^7.2.0",
     "react-router": "^3.2.5",
     "react-split-pane": "^0.1.89",
     "react-tabs": "^2.3.1",