| commit | edff0413126620c3bff7a37f72d92c8cbd754191 | [log] [tgz] |
|---|---|---|
| author | Miguel Caballer <micafer1@upv.es> | Mon Feb 15 15:49:05 2021 +0100 |
| committer | GitHub <noreply@github.com> | Mon Feb 15 15:49:05 2021 +0100 |
| tree | c062f289e34d5f1f2f61f7128449509d6d59ec4a | |
| parent | e11f9a386042234861f95bcec20fc5ecfc46fa33 [diff] | |
| parent | 42237cf6b6ca302fd0175c5770c122199b051b4b [diff] |
Merge pull request #1543 from micafer/min_ost_fix Minor fix getting description of Ports