Remove duplicates from conns array in JSON front-end, fixes #2736
authorClaire Xenia Wolf <claire@clairexen.net>
Mon, 26 Apr 2021 14:31:44 +0000 (16:31 +0200)
committerClaire Xenia Wolf <claire@clairexen.net>
Mon, 26 Apr 2021 14:32:12 +0000 (16:32 +0200)
commit58290c0c77e09aa40a098065ea999c85aaba398c
treef28093dbea5299075b3d17cdb1906e3dbebf9370
parenta5adb007742f0339b0a9663871fd86620d8f6a78
Remove duplicates from conns array in JSON front-end, fixes #2736
frontends/json/jsonparse.cc