Fri, 06 Sep 2019 19:44:54 +0200 | wenzelm | prefer commands_accepted: fewer protocol messages; | changeset | files |
Fri, 06 Sep 2019 18:59:24 +0200 | wenzelm | prefer define_commands_bulk: fewer protocol messages; | changeset | files |
Fri, 06 Sep 2019 17:10:23 +0200 | wenzelm | clarified signature; | changeset | files |