chiark / gitweb /
fake time: Fix config deserialisation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Apr 2022 21:47:15 +0000 (22:47 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Apr 2022 00:14:28 +0000 (01:14 +0100)
commitfa21fb0f35620e256fc178542f95f035f5ba6be5
tree045be43ccd3fe319141f98340fa676635c5cfcbd
parent08e04ed26e5ff38d04ba18560f5b7048aa734471
fake time: Fix config deserialisation

Option works weirdly, empirically.  This (via a Vec) is what we want.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/fake-time.rs