Re: Make define-builtin-markup{, -list}-command #:category #:properties keywords (issue160048)

[David Kastrup]

Carl Sorensen <address@hidden> writes:

> On 12/3/09 2:47 PM, "David Kastrup" <address@hidden> wrote:
>
>> There are patches that are "obviously right" and a direct
>> improvement.  If I had been in his place, I'd likely have committed a
>> fix as well.  I'd likely have used "make && make doc" before doing
>> so, but I doubt I would have waited for a review to come in.
>
> make && make doc worked, because the snippet was still in the database
> and not updated.

I was only talking about the commit that did not compile.  The general
functionality patch went through review AFAICS and was basically just
"cosmetically" changed.

Doesn't matter all too much, actually.

-- 
David Kastrup