[Pkg-nagios-devel] Processed: Merge 914092 & 915212

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # 914092
> # Package: src:monitoring-plugins
> # Severity: important
> # Found in version monitoring-plugins/2.2-4
> # 915212
> # Package: monitoring-plugins-basic
> # Severity: normal
> # Tags: patch
> # Found in version monitoring-plugins/2.2-4
> reassign 915212 src:monitoring-plugins
Bug #915212 [monitoring-plugins-basic] monitoring-plugins-basic: reproducible build (usrmerge): embeds path of apt-get found via PATH
Bug reassigned from package 'monitoring-plugins-basic' to 'src:monitoring-plugins'.
No longer marked as found in versions monitoring-plugins/2.2-4.
Ignoring request to alter fixed versions of bug #915212 to the same values previously set
> severity 915212 important
Bug #915212 [src:monitoring-plugins] monitoring-plugins-basic: reproducible build (usrmerge): embeds path of apt-get found via PATH
Severity set to 'important' from 'normal'
> merge 914092 915212
Bug #914092 [src:monitoring-plugins] monitoring-plugins: wrong apt path when built on a merged-/usr system and run on a non-merged-/usr system
Bug #914092 [src:monitoring-plugins] monitoring-plugins: wrong apt path when built on a merged-/usr system and run on a non-merged-/usr system
Added tag(s) patch.
Bug #915212 [src:monitoring-plugins] monitoring-plugins-basic: reproducible build (usrmerge): embeds path of apt-get found via PATH
Marked as found in versions monitoring-plugins/2.2-4.
Merged 914092 915212
> thanks
Stopping processing here.

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