7 Jun
2021
7 Jun
'21
6:02 p.m.
Hi, On Mon, 2021-06-07 at 11:55 +0200, Chriztoffer Hansen via db-wg wrote:
On Mon, 7 Jun 2021 at 11:41, Janos Zsako via db-wg <db-wg@ripe.net> wrote:
I agree with Gert. Although it is quite easy to convert the output to lowercase or uppercase as one wishes, it is also easy to forget about it and be surprised about the result.
Agreed, go for the path of least surprises ⇒ enforce case consistency.
+1 to that. I know I would forget that myself 🙂 Sander