fuzz-dhcp-server: fix name of options file

This commit is contained in:
Zbigniew Jędrzejewski-Szmek
2018-03-11 16:33:59 +01:00
parent 170dd5f916
commit d14829c8b7