| commit | 805a7f52b5ad2d8b4faebf86052210310af92385 | [log] [tgz] |
|---|---|---|
| author | Geertjan Wielenga <geertjan.wielenga@oracle.com> | Tue Sep 10 10:43:21 2019 +0200 |
| committer | GitHub <noreply@github.com> | Tue Sep 10 10:43:21 2019 +0200 |
| tree | 6beb2a29052c39ad8c28f83c27ccb44628278ee6 | |
| parent | 5233a14568e259a190c7cbee8a1d088f0cc06ea3 [diff] | |
| parent | d66216e1d01b61f506e699dafcd624520b166420 [diff] |
Merge pull request #412 from apache/geertjanw-patch-17 List deployment platforms on Download page