Processed: #713829 unknown-horizons: menu file missing

Tue Oct 22 20:39:08 UTC 2013

Processing commands for control at bugs.debian.org:

> merge 713829 726898
Bug #713829 [unknown-horizons] unknown-horizons: menu entry missing
Bug #726898 [unknown-horizons] unknown-horizons: missing menu file Jessie Release Goal
Marked as found in versions unknown-horizons/2013.2+ds1-1.
Bug #713829 [unknown-horizons] unknown-horizons: menu entry missing
Marked as found in versions unknown-horizons/2013.2+ds1-2.
Merged 713829 726898
> thanks
Stopping processing here.

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