Robuta

https://lists.debian.org/debian-tetex-maint/2005/06/msg00129.html Bug#303934: marked as done (95NonPath.cnf: please change save_size to 10000) https://lists.debian.org/debian-tetex-maint/2005/06/msg00112.html Bug#303934: 95NonPath.cnf: please change save_size to 10000 bug cnf please change save