| commit | c8d844dda92446a46cd5284ccea0d0b29ac83875 | [log] [tgz] |
|---|---|---|
| author | Arjan Tijms <arjan.tijms@gmail.com> | Sat Oct 23 12:46:21 2021 +0200 |
| committer | GitHub <noreply@github.com> | Sat Oct 23 12:46:21 2021 +0200 |
| tree | c620aa40947baa3536741c3df2989ca3585e75e5 | |
| parent | 0f83875b9125015d07694fae9843d5fc4cf49078 [diff] | |
| parent | b9ac40426f7db8bda6fbf35ac1d3813c56c6e90a [diff] |
Merge pull request #562 from dmatej/jenkins