[MERGE] trivial fix for 96770

[Martin Pool]

On 4/20/07, Robert Collins <robertc at robertcollins.net> wrote:
> Is it ok if truely trivial things like this just get committed?
> (obviously that opens a window of judgement..)

Yes it's ok with me.  I would say, make an assessment of whether any
of the following apply:

 - people might object to the feature or design
 - you might be wrong
 - other people need to be aware of what you did

If in doubt ask, but this is pretty safe.

(Other opinions welcome.)

-- 
Martin