| Thu, 09 Sep 2021 15:45:27 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 09 Sep 2021 14:50:26 +0200 | wenzelm | clarified set of items with order of addition; | changeset | files |
| Thu, 09 Sep 2021 14:05:31 +0200 | wenzelm | tuned message; | changeset | files |
| Thu, 09 Sep 2021 13:47:29 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 09 Sep 2021 12:33:14 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 09 Sep 2021 10:40:57 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Sep 2021 08:41:36 +0200 | wenzelm | simplified: uniqueness check happens in export_consumer; | changeset | files |