| Sun, 30 Apr 2017 17:32:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 30 Apr 2017 17:02:56 +0200 | wenzelm | clarified database update: full ml_statistics on server, no ml_statistics on plain file; | changeset | files |
| Sun, 30 Apr 2017 16:47:30 +0200 | wenzelm | parse ml_statistics only when required; | changeset | files |