diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-09 15:35:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-09 15:35:36 +0200 |
| commit | 25fd4edd2922e026976a20c495984c7c32ea8b5d (patch) | |
| tree | 233d2685a7ed5e085a5f4a55a198e3c109eb46e5 /servers | |
| parent | 90870fd48f0071d3563d73817cbb5ee793607c77 (diff) | |
| parent | 78cd0ffdba6a336475f21be598dca7087a4a66f7 (diff) | |
Merge pull request #51427 from omar-polo/platform-detect-openbsd
automatically detect openbsd as platform=linuxbsd
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions