4 Commits

Author	SHA1	Message	Date
mpostma	3ef0830c5d	review changes	2021-06-10 16:11:52 +02:00
Irevoire	99551fc21b	fix encoding bug	2021-06-10 16:03:48 +02:00
Tamo	d0552e765e	forbid deserialization of Setting<Checked>	2021-06-01 20:41:45 +02:00
Marin Postma	b924e897f1	load index dump	2021-05-27 10:27:47 +02:00