| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fixes #12885 [backport] (#12895) | Andreas Rumpf | 2019-12-13 | 1 | -2/+11 |
| * | fixes #12029; finish the 'unused import' feature (#12064) | Andreas Rumpf | 2019-08-27 | 1 | -1/+1 |
| * | fixes #11809 | Andreas Rumpf | 2019-08-08 | 1 | -0/+27 |