Processed: forcibly merging 722279 948505

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 722279 948505
Bug #722279 [devhelp] devhelp: Error accessing gtkmm-3.0 reference manual
Bug #948505 [devhelp] devhelp: GTKMM 3.0 doc not working on devhelp
Severity set to 'important' from 'normal'
Marked as found in versions devhelp/3.8.2-2 and devhelp/3.22.0-1.
Merged 722279 948505
> thanks
Stopping processing here.

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