diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-03-10 20:20:58 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-03-10 20:20:58 -0400 |
| commit | e107ddb4507d92303e14ebee3ccdec7662350031 (patch) | |
| tree | ee94cee5278d33e645537885546d58999fec5a84 /Assistant/Threads/Committer.hs | |
| parent | 76dbc45834b075f935d139cf91e96e52c6594220 (diff) | |
tweak
Diffstat (limited to 'Assistant/Threads/Committer.hs')
| -rw-r--r-- | Assistant/Threads/Committer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assistant/Threads/Committer.hs b/Assistant/Threads/Committer.hs index 1d2c5b63d..2450861e6 100644 --- a/Assistant/Threads/Committer.hs +++ b/Assistant/Threads/Committer.hs @@ -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. |