From 68a33b7f983b87c48b0e816bf4e6606a79f5eaa3 Mon Sep 17 00:00:00 2001
From: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Date: Sun, 4 Dec 2016 23:35:31 +0100
Subject: [PATCH] DEVELOPERS: add developer for nginx-dav-ext

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
---
 DEVELOPERS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DEVELOPERS b/DEVELOPERS
index ed62b699f3..f61afbcc9a 100644
--- a/DEVELOPERS
+++ b/DEVELOPERS
@@ -804,6 +804,7 @@ F:	package/erlang-p1-utils/
 F:	package/erlang-p1-xml/
 F:	package/erlang-p1-yaml/
 F:	package/erlang-p1-zlib/
+F:	package/nginx-dav-ext/
 
 N:	John Stile <johns@msli.com>
 F:	package/dhcpcd/
-- 
2.30.2