| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fixes #13105 (#13138) | Andreas Rumpf | 2020-01-14 | 1 | -0/+18 |
| * | fixes #13119 (#13128) | Andreas Rumpf | 2020-01-14 | 1 | -0/+12 |
| * | fixes #12964 (#13027) | Andreas Rumpf | 2020-01-04 | 1 | -0/+14 |
| * | ARC: yet another bugfix (#12871) | Andreas Rumpf | 2019-12-10 | 1 | -0/+11 |
| * | more arc improvements (#12690) | Andreas Rumpf | 2019-11-20 | 1 | -0/+92 |