I wrote:
> There are a few outstanding bugs (old development versions are pruned
> from the index files but not from the server, and are getting indexed by
> Google), [...]
That particular bug has now been fixed, old development versions are
now properly removed from the server; however I don't know how it will
play out exactly with Google indexing.
Fred
_______________________________________________
desktop-devel-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/desktop-devel-list
