$OpenBSD: patch-src_lib_dhcpsrv_timer_mgr_cc,v 1.1 2021/07/19 09:09:26 sthen Exp $

Fix the build with Boost 1.77.

Index: src/lib/dhcpsrv/timer_mgr.cc
--- src/lib/dhcpsrv/timer_mgr.cc.orig
+++ src/lib/dhcpsrv/timer_mgr.cc
@@ -12,6 +12,7 @@
 #include <exceptions/exceptions.h>
 
 #include <functional>
+#include <map>
 #include <utility>
 
 using namespace isc;
