| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fixes #11844 (#11935) | Andreas Rumpf | 2019-08-13 | 1 | -1/+1 |
| * | fixes #10689 | Araq | 2019-08-12 | 1 | -0/+17 |
| * | fixes #11254 | Araq | 2019-08-12 | 1 | -0/+6 |
| * | fixes #11891 | Andreas Rumpf | 2019-08-10 | 1 | -0/+6 |
| * | fixes #11807 (#11900) | Andreas Rumpf | 2019-08-07 | 1 | -0/+50 |