Re: dhcp xlat for encoding DHCP options in RADIUS attributes