tweak
This commit is contained in:
parent
3816c6c82a
commit
b2c7ee5551
1 changed files with 1 additions and 1 deletions
|
@ -106,7 +106,7 @@ commitStaged = do
|
|||
: Param "-m" : Param "" : ps
|
||||
|
||||
{- Decide if now is a good time to make a commit.
|
||||
- Note that the list of change times has an undefined order.
|
||||
- Note that the list of changes has an undefined order.
|
||||
-
|
||||
- Current strategy: If there have been 10 changes within the past second,
|
||||
- a batch activity is taking place, so wait for later.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue