diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-04-23 11:26:01 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-04-23 17:33:35 +0200 |
| commit | cb0a1d3e92d5b11effdf91779d49e1bed4a7c083 (patch) | |
| tree | 8f8fecc842530a3b7dd927e54683927b08c80c58 /doc/tutorial | |
| parent | 72d8bb2c3bf74f24e5def6b16c932c9c0165c6ee (diff) | |
| download | justbuild-cb0a1d3e92d5b11effdf91779d49e1bed4a7c083.tar.gz | |
just-mr: Fix map key type bug in repository setup
When taking over roots from the input repository description, the
JSON value was not properly checked for validity (i.e., if it is of
type string), resulting in an unhandled exception being thrown. The
issue is fixed with a proper type check.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions