ChangeLog entry for viper.texi