Hi Dave. It was me who, in a mistake (I wanted to delete them) marked those tickets as "Opened".
Sorry for the inconvenience. -- Jose E. Marchesi <jema...@gnu.org> GNU Project http://www.gnu.org
Hi Dave. It was me who, in a mistake (I wanted to delete them) marked those tickets as "Opened".
Sorry for the inconvenience. -- Jose E. Marchesi <jema...@gnu.org> GNU Project http://www.gnu.org