Merge branch 'master' into jupyter-worksheet-import-feature

Authored by sirgienko on Jul 21 2019, 9:34 AM.

Description

Merge branch 'master' into jupyter-worksheet-import-feature

Merged Changes

CommitAuthorDetailsCommitted
72460ac40054yurchor
Fix minor typo spotted by Freek de Kruijf 
Jul 20 2019
917fac857df8sirgienko
[Maxima] Try to fix testHelpRequest test on openSuse 
Jul 19 2019
c0bab28e08f4lbeltrame
Include QMap directly to fix build with Qt 5.13 
Jul 19 2019
a39383184f75sirgienko
Minor notificatation change about cantorpart founding 
Jul 18 2019