- Apr 29, 2020
-
-
Nicolas Pomepuy authored
-
-
-
- Apr 28, 2020
-
-
-
-
-
-
-
This reverts commit e8e89617.
-
-
Nicolas Pomepuy authored
-
-
Geoffrey Métais authored
-
- Apr 27, 2020
-
-
-
-
-
-
-
Isira Seneviratne authored
-
Nicolas Pomepuy authored
-
Avoid race conditions
-
Nicolas Pomepuy authored
-
- Apr 25, 2020
-
-
- Apr 24, 2020
-
-
Also fix favorites convertion with wrong dispatchers
-
Nicolas Pomepuy authored
(cherry picked from commit b7eb2b0de400a12248092dc321befa873c0aaa37)
-
-
-
-
Nicolas Pomepuy authored
Fixes #1280
-
Nicolas Pomepuy authored
Fixes #1289
-
Fixes #1284
-
-
-
-
Fixes #1282
-
-
Hugo Beauzée-Luyssen authored
-
- Apr 23, 2020
-
-
Nicolas Pomepuy authored
-
Nicolas Pomepuy authored
-
Nicolas Pomepuy authored
-