FreeRADIUS/freeradius-server — pull request #231 by olivierbeytrison (2013-03-19 10:41:15+00:00)
Title: fix dhcp.c for --disable-developper

as per title