]> git.pond.sub.org Git - empserver/commitdiff
Simplify head_meanwhile()
authorMarkus Armbruster <armbru@pond.sub.org>
Tue, 8 Jan 2013 17:02:07 +0000 (18:02 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 12 Jan 2013 16:56:39 +0000 (17:56 +0100)
No functional change.


No differences found