[Pkg-nginx-maintainers] Processed: Merge duplicate nginx-dev reports

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> merge 1147527 1147665
Bug #1147527 [nginx-dev] nginx-dev: Missing header file in nginx-dev after backport
Bug #1147665 [nginx-dev] nginx-dev: invalid entries in auto/modules
Merged 1147527 1147665
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1147527: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1147527
1147665: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1147665
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems