commit | 6e2b5ec8444683fe8814ecc1a7c3c57f3929b1a4 | [log] [tgz] |
---|---|---|
author | Sergey G. Grekhov <sgrekhov22@gmail.com> | Mon Jan 29 12:52:18 2024 +0200 |
committer | GitHub <noreply@github.com> | Mon Jan 29 11:52:18 2024 +0100 |
tree | 726b1703a0bf928eab72d1d802b17039643a7f6d | |
parent | 80d05e040836ce425980810c3ad81d978aa813f8 [diff] |
#2119. Fix typo in Subtyping tests description (#2510)