diff options
| author | Kevin Laeufer | 2020-07-29 12:20:55 -0700 |
|---|---|---|
| committer | GitHub | 2020-07-29 19:20:55 +0000 |
| commit | 3c561d4125767406f2b069915ba927190b38e8cd (patch) | |
| tree | 3166cae95a608bac634bc9594849ede9ed01bb60 /scripts | |
| parent | 9cf7a156637584c125b35a5c7a5639c70da55d58 (diff) | |
RenameMapSpec: try rename instance and port (#1776)
* RenameMapSpec: try rename instance and port
* RenameMapSpec: explicit chaining is required
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions