4 Commits

Author	SHA1	Message	Date
Christian Grothoff	2279c8ab17	fix typo	2020-07-05 16:50:15 +02:00
Florian Dold	7ddd2dba25	expand justifications / agree with append-only log	2020-07-05 16:50:15 +02:00
Florian Dold	ee94ca0e22	minor typo	2020-07-05 16:50:15 +02:00
Christian Grothoff	2170984cc8	response to CB	2020-07-05 16:50:15 +02:00