| commit | 0f83875b9125015d07694fae9843d5fc4cf49078 | [log] [tgz] |
|---|---|---|
| author | Arjan Tijms <arjan.tijms@gmail.com> | Sat Oct 23 12:29:14 2021 +0200 |
| committer | GitHub <noreply@github.com> | Sat Oct 23 12:29:14 2021 +0200 |
| tree | 913670898391c13da814cbdb7cba349b7d7be378 | |
| parent | ae96ffaa4e6d1b4647b9d345893298e4cf0c6fbb [diff] | |
| parent | 70f898a9a01c61ddcb1903b9ad8a1aa02d1b154d [diff] |
Merge pull request #561 from dmatej/jenkins