Tab bar: to switch tabs using the mouse wheel skips every other tab (#2427)

Tab bar: to switch tabs using the mouse wheel skips every other tab (#2427)

Linux: make Ubuntu 20.04 LTS our minimal supported version (#2423)

Tab bar: to switch tabs using the mouse wheel skips every other tab (#2427)

SUNDIALS: upgrade to version 5.5.0 (#2421)

SUNDIALS: upgrade to version 5.5.0 (#2421)

Some minor cleaning up

Some minor cleaning up

GUI: not all the widgets in a tool bar are visible in the corresponding context menu (#2395)

GUI: not all widgets in a tool bar are visible in its corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

QtWebKit: revert to tag v5.12.0 (#2416)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

libgit2: upgrade to version 1.1.0 (#2414)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)

LLVM+Clang: upgrade to version 11.0.0 (#2410)

Just for testing Jenkins

Just for testing Jenkins

Just for testing Jenkins

Just for testing Jenkins

Just for testing Jenkins

Just for testing Jenkins

Just for testing Jenkins