1. 2000-10-05 Re: Gnome Mines maintainer / patch gnome-dev Ian Peters 2. 2000-10-04 Gnome Mines maintainer / patch gnome-dev Tim Jansen