| Wed, 23 Aug 2023 11:31:17 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Wed, 23 Aug 2023 11:20:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 22 Aug 2023 11:33:25 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Mon, 21 Aug 2023 15:04:22 +0200 | wenzelm | clarified signature: proper treatment of implicit state (amending d0c9d277620e); | file | diff | annotate |
| Mon, 21 Aug 2023 13:01:45 +0200 | wenzelm | performance tuning: avoid redundant db access; | file | diff | annotate |
| Mon, 21 Aug 2023 12:40:33 +0200 | wenzelm | performance tuning: avoid multiple db roundtrips; | file | diff | annotate |
| Mon, 21 Aug 2023 11:15:25 +0200 | wenzelm | tuned signature: removed unused arguments; | file | diff | annotate |