Hi Gerald;

I haven“t checked this in a while but it was my attempt to clean Festival+OGI 
port that you just deprecated.

cheers,

    Pedro.


----- Forwarded Message ----
> From: "[email protected]" <[email protected]>
> To: Pedro F. Giffuni <[email protected]>
> Sent: Monday, July 28, 2008 10:20:03 AM
> Subject: Re: ports/126042: audio/festival: add OGI option
> 
> Thank you very much for your problem report.
> It has the internal identification `ports/126042'.
> The individual assigned to look at your
> report is: freebsd-ports-bugs. 
> 
> You can access the state of your problem report at any time
> via this link:
> 
> http://www.freebsd.org/cgi/query-pr.cgi?pr=126042
> 
> >Category:       ports
> >Responsible:    freebsd-ports-bugs
> >Synopsis:       audio/festival: add OGI option
> >Arrival-Date:   Mon Jul 28 15:20:03 UTC 2008




_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "[email protected]"

Reply via email to