Am Freitag, dem 06.01.2023 um 13:51 -0500 schrieb Richard Kimberly Heck: > And not that it matters, but git blame makes it look like I'm the one > who forgot this. I'm not. I know. A closer look at the logs revealed tat you just fixed up the method. -- Jürgen