| commit | 1c90b504a9439a6c7c2a8754b03955b17780d6a8 | [log] [tgz] |
|---|---|---|
| author | Gabor Pali <gabor.pali@ibm.com> | Mon Feb 13 22:57:25 2023 +0100 |
| committer | Nick Vatamaniuc <nickva@users.noreply.github.com> | Tue Feb 14 10:14:33 2023 -0500 |
| tree | 17bb6dae77349a1d0c63093005d30f6f1d559486 | |
| parent | b08dc7ac77dd3ea53cf1b8b92571387478e5b143 [diff] |
mango: Add type specification for the JSON index selection