| Mon, 30 Sep 2019 21:01:08 +0200 | wenzelm | clarified share_common_data: after finished checkpoint, before next edits; | changeset | files |
| Mon, 30 Sep 2019 17:28:40 +0200 | wenzelm | obsolete (see 030a6baa5cb2 and d14ddb1df52c); | changeset | files |
| Mon, 30 Sep 2019 16:40:35 +0200 | wenzelm | support headless_load_limit for more scalable load process; | changeset | files |