> >>>>> "DG" == Dennis Gilmore <dennis@xxxxxxxx> writes:
>
> DG> My question is should I have filed a bug anyway so that we have a
> DG> public record that the issue had been fixed?
>
> I think that there's no point in filing bugs about things which have
> already been fixed, especially now when we're just getting started.
> However, if the fixed package is not at your local mirror then you
> should definitely open a ticket.
>
> The fact that changes had been committed doesn't mean that a build was
> requested, or that it has succeeded.
This is a time the package-release tool can come in handy. It will tell
you which versions of a package are available (not what's in CVS). I
modified the tool last night to support fuzzy matching, so if I run
'package-release perl' I get a list of all packages with 'perl' in their
name.
--
JB
