pull-mail: add --force option; extend running times

[bin.git] / sponge

diff --git a/sponge b/sponge
index 4d207bc6d95ab6da28bd5ebd033127b37c9d4aef..18d163c150ff94a60b36a1c5c50bcad984890bad 100755 (executable)
Binary files a/sponge and b/sponge differ