chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61a5380) | patch
cmd updates: Restart updates when insert follows delete
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 31 Mar 2021 18:14:13 +0000 (19:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Apr 2021 10:37:58 +0000 (11:37 +0100)
commit42dcf50d49dd01e29a1ff2cd07e598023b1f6359
treed30eb93a6d78d6f316370092cfcf27394b25e6f0tree | snapshot
parent61a53807624ce8dd56bbc75a4c548f18cacc869acommit | diff
cmd updates: Restart updates when insert follows delete

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