| commit | e010f320a6ff59fca5165ac3ad1d7e815212ea54 | [log] [tgz] |
|---|---|---|
| author | Woyten <woyten.tielesch@online.de> | Mon Apr 06 19:05:23 2020 +0200 |
| committer | GitHub <noreply@github.com> | Mon Apr 06 19:05:23 2020 +0200 |
| tree | dbee2e395e67b987b4c6d2d307ddac8946612445 | |
| parent | 004a3f540123f1cd36f41f0cdce8fc81cacc579e [diff] | |
| parent | 0e1ba0a7b1357762b2eca69448f21ed69f38cb0a [diff] |
Merge pull request #169 from alistair23/alistair/app_head bors causes trouble. Manually merging...