Subject: Re: bug#31232: 27.0.50; Obsolete argument RESULT in the macro `dotimes'

From: Glenn Morris <[email-masked]>
Date: Sat, 21 Apr 2018 20:22:37 -0400

Juri Linkov wrote:

> If the arg RESULT of dotimes is not yet deprecated,
> then to legitimize its usage it needs to be fixed.

Or, simply document that RESULT should not be used unless it makes use
of VAR, as suggested in https://debbugs.gnu.org/16206#8 .