chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 621ed23) | patch
Change type of UnpreparedPreparedUpdates
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Apr 2022 22:49:16 +0000 (23:49 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Apr 2022 10:02:54 +0000 (11:02 +0100)
commitcac9f5b0893957f31cd9e0381a85f141d8160ce9
treeb1f562499ab20da36040c661d9122be7f6e785f7tree | snapshot
parent621ed237f1a0eed7031161dce9b026d2683cd166commit | diff
Change type of UnpreparedPreparedUpdates

We're going to want to compose this in an additional place.  And all
this Option and None is awkward.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/api.rs diff | blob | history
daemon/cmdlistener.rs diff | blob | history
src/clock.rs diff | blob | history
src/hidden.rs diff | blob | history
src/ui.rs diff | blob | history
src/updates.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.