|
| From: | Drew Adams |
| Subject: | bug#63586: 29.x: dotimes (possible) problem |
| Date: | Fri, 19 May 2023 17:33:18 +0000 |
> But in any case, the question is not whether it's a good idea or not: it > used to happen to work and now it doesn't work any more. > > Maybe we should mention the change in etc/NEWS? +1
| [Prev in Thread] | Current Thread | [Next in Thread] |