Pointer to a (minor) PR

[Larry Rosenman]

Can I get comments on
misc/96015?

It's a nit, but cost me some time this weekend.

Thanks!
LER

-- 
Larry Rosenman                     http://www.lerctr.org/~ler
Phone: +1 512-248-2683                 E-Mail: ler at lerctr.org
US Mail: 430 Valona Loop, Round Rock, TX 78681-3893