Bug#585064: isc-dhcp upload to unstable imminent

[Petter Reinholdtsen <pere@hungry.com>]

[Mehdi Dogguy]
> You're right about that. I overlooked that issue. Hopefully, the
> change is trivial and you should be able to fix/apply/upload it :)

I guess my questions was overlooked, so I try again:

  Is the bug reported in #586035 also present in isc-dhcp-server?
  Will it be fixed soon if that is the case?  Do we need to implement
  the workaround in debian-edu-config for now, or can we expect a fix
  in isc-dhcp-server to show up quickly?

Happy hacking,
-- 
Petter Reinholdtsen