4 Commits

Author	SHA1	Message	Date
Christian Grothoff	bf50cb2352	fix typo	2020-07-03 10:24:42 +02:00
Florian Dold	c43922a58d	expand justifications / agree with append-only log	2020-07-01 21:27:27 +05:30
Florian Dold	73d98fcf59	minor typo	2020-07-01 19:11:14 +05:30
Christian Grothoff	968491bb47	response to CB	2020-06-30 14:37:58 +02:00