At Thu, 09 Mar 2023 11:53:26 +0900 (JST), I wrote > It turned out to be not as simple as I thought, though...
The error message and the location where the error condition is checked don't match, but making the messages more generic may not be helpful for users.. regards. -- Kyotaro Horiguchi NTT Open Source Software Center