Merge branch 'releases/0.7.1' into released

Authored by tfry on May 24 2020, 8:51 PM.

Description

Merge branch 'releases/0.7.1' into released

Details

Committed
tfryMay 24 2020, 8:51 PM
Parents
R5:60d0f9c703f1: Update Ubuntu series
R5:4e7b71ea70f0: Merge branch 'releases/0.7.1' into released
Branches
Unknown
Tags
Unknown
References
released

Merged Changes

CommitAuthorDetailsCommitted
60d0f9c703f1tfry
Update Ubuntu series 
May 24 2020
d266c52e8433tfry
Remove letter from package version. Earlier versions of R are picky about this. 
May 24 2020
20bed53a74c5tfry
Work around a bug in cmake 3.17 when building on Windows with MinGW 
May 24 2020
11ddc97ec413tfry
Set version, and a - hopefully attainable - release date. 
May 24 2020
637d881f7512tfry
Fix crash when mousing over code-preview-window with focus-follows-mouse… 
May 24 2020
2c62466e8e02tfry
Fix hang when opening empty workplace, and associated crash on exit. 
May 24 2020
730875a94a2btfry
Fix potential crash when current focus widget gets destroyed during focus… 
May 24 2020
7ecb5d218981tfry
Workaround to avoid bug in R 4.0.0 when using for loop on top level context 
May 24 2020