tree c81c3ba07136f42fe81835e4720c180dcc0f2583
parent 972288e62fa0798f59caf209ab58c911d289a8b2
author Denis Vlasenko <vda.linux@googlemail.com> 1173965326 -0000
committer Denis Vlasenko <vda.linux@googlemail.com> 1173965326 -0000

fix TODO: getopt32 should reset optind to 1 itself