Re: master 501e2096d6: Fix some issues with a recent change

[Stefan Monnier]

>> Please include some more info in the first line of your commits, such as
>> the relevant file(s).
>
> According to the format we use, the file(s) don't have to be mentioned
> in the first line.  Given enough files, that is simply impossible.

Please re-read the `Subject:` of this thread and tell me if you think it
holds any useful information other than "master 501e2096d6"?

This changed a single file, AFAIK, so we're pretty far from the
"difficult" case of having to summarize an arbitrary set of files.


        Stefan