| Sun, 10 Jan 2016 19:37:21 -0800 | kleing | print_record: diagnostic printing of record definitions | changeset | files |
| Mon, 11 Jan 2016 00:04:23 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 10 Jan 2016 23:25:11 +0100 | wenzelm | prune old versions more often, to reduce overall heap requirements; | changeset | files |