ports/136318: [patch] ports-mgmt/tinderbox-devel incorrect WEBUI option handling

[Alexey V. Degtyarev]

> Thank you very much for your problem report.
> It has the internal identification `ports/136318'.
> 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=136318
> 
> >Category:       ports
> >Responsible:    freebsd-ports-bugs
> >Synopsis:       [patch] ports-mgmt/tinderbox-devel incorrect WEBUI option handling
> >Arrival-Date:   Sat Jul 04 13:00:16 UTC 2009

Sorry for this duplicate report (mail server queue problem). This one
need to be closed.

The original report is ports/136302.

-- 
Alexey V. Degtyarev