| commit | 80db1ef59f87d708751f74e59338263156c86f54 | |
| author | Alexander Köplinger <alex.koeplinger@outlook.com> | |
| Mon, 24 Jun 2019 17:14:14 +0000 (24 19:14 +0200) | ||
| committer | Alexander Köplinger <alex.koeplinger@outlook.com> | |
| Mon, 24 Jun 2019 17:14:54 +0000 (24 19:14 +0200) | ||
| tree | dfb94524f5685de8aa7037650859cf09c25167f9 | treesnapshot (tar.gz zip) |
| parent | 683db00b2ae85df162c3939f7dfc78e9c387521a | commitdiff |
[sdks] Do the WATCHOS5_VERSION -> WATCHOS64_32_VERSION rename in run-jenkins.sh too
It was missed in https://github.com/mono/mono/pull/15202
It was missed in https://github.com/mono/mono/pull/15202
| scripts/ci/run-jenkins.sh | diffblobblamehistory |