| Wed, 10 Apr 2019 16:15:45 +0200 | wenzelm | updated for release; | changeset | files |
| Wed, 10 Apr 2019 15:45:16 +0200 | wenzelm | merged | changeset | files |
| Wed, 10 Apr 2019 15:10:43 +0200 | wenzelm | clarified build of standard heaps; | changeset | files |
| Wed, 10 Apr 2019 14:43:29 +0200 | wenzelm | updated for release; | changeset | files |
| Wed, 10 Apr 2019 13:45:49 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 10 Apr 2019 13:43:23 +0200 | wenzelm | retain copy of required components; | changeset | files |
| Wed, 10 Apr 2019 12:38:27 +0200 | wenzelm | option for build_sessions; | changeset | files |