Merge branch 'master' into rempt/T379-resource-management
Description
Description
Details
Details
- Committed
rempt Oct 21 2019, 7:31 AM - Parents
- R37:ca90f5357e5e: Add a warning if the last sessions wasn't closed properly
R37:ff00115aa419: Merge branch 'master' into rempt/T379-resource-management - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| ca90f5357e5e | rempt | Add a warning if the last sessions wasn't closed properly | Oct 20 2019 | |||
| a7b5b3e83d71 | rempt | Also log we're shutting down properly | Oct 20 2019 | |||
| e182cdd8d90e | rempt | Don't translate log file entries | Oct 20 2019 | |||
| 70eacca16290 | rempt | Also log when we remove autosave items | Oct 20 2019 | |||
| c4708f96d3c1 | yurchor | Fix minor issues found by EBN | Oct 20 2019 | |||
| cca4b0607730 | hellozee | Limits the amount of searches in magnetic lasso interactive mode | Oct 18 2019 | |||
| e444d22a159a | hellozee | Resets the state of magnetic lasso when deactivated | Oct 17 2019 | |||
| ad3a6d842a1d | Merlijn Sebrechts/rempt | [snap] upgrade to 4.2.7.1 | Oct 17 2019 |