[Gretl-users] CVS status update