v1.4.0

hannesm released this 19 Jul 12:10

· 35 commits to main since this release

CHANGES:

Changes in #111 by @haesbaert

Allow optional arguments to be erased in Dhcp_server.make
maxleasetime -> max-lease-time in dhcpd.conf
fix handling of DHCPRELEASE
rewrite lease database
charruad: collect garbage leases, write pid file, implement -u/--user and
-g/--group
opam lint, raise lower bound to 4.08.0

Assets 3