commit | 447a086220e31bfaf5448eaa7f2020aec975f7ca | [log] [tgz] |
---|---|---|
author | Sergey G. Grekhov <sgrekhov22@gmail.com> | Mon Oct 03 16:21:59 2022 +0300 |
committer | GitHub <noreply@github.com> | Mon Oct 03 15:21:59 2022 +0200 |
tree | 0b77e276f7399a2de843ef53a39ea0b7e11ae144 | |
parent | 2ddbb5be6d15b3a705646bf5b474f8fc6fecad15 [diff] |
#1399.[Records] `Records.empty` replaced by `()` (#1481) Authored by @sgrekhov.