scripts: update-state!: Do a full refresh every 100 times.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 13:56:13 +0000 (15:56 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 13:56:13 +0000 (15:56 +0200)
commit5c21d1deb3e534aedaaae4802423db0a5df041b0
treec31d7979cfb00ecf008d4382d034085c3d3c4070
parentab53797fbd5ecb3c076cc7bdfdbb284840abc15f
scripts: update-state!: Do a full refresh every 100 times.
scripts/mumi.in