Yes, and confirmed by more than one user that it is indeed fixed.
Good. DHCP is one of those things you really have to fight with. Reading the RFC doesn't really prepare you for all the weird stuff that's found in the wild... I've had my share of "fun" fixing DHCP client, too ;-)