K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2004-10-04T13:13:23.000000Z
K 7
svn:log
V 191
Change the perfectly precise message
       printf("No buffers busy after final sync");
to
       printf("All buffers synced.");
in order to not leave the users wondering if there should be.

END