Processed: bug 902618 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=21687&group_id=999&atid=4012

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> forwarded 902618 https://gforge.inria.fr/tracker/index.php?func=detail&aid=21687&group_id=999&atid=4012
Bug #902618 [src:why] why: needs porting to why3 version 1.0.0
Set Bug forwarded-to-address to 'https://gforge.inria.fr/tracker/index.php?func=detail&aid=21687&group_id=999&atid=4012'.
> thanks
Stopping processing here.

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