Forgotten in dcd3a6c6 (move the catch of std::invalid_argument into array_index(), 2020-03-23).
Attach a file by drag & drop or click to upload
