# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 830718528 0
# Node ID 00d52ba071ea915a37b60d2e918b28ff1f4d807e
# Parent  ed550d0805cae1a023eb9eff884f58f3cccf14dd
(struct _popserver): New field trash_started.

diff -r ed550d0805ca -r 00d52ba071ea lib-src/pop.h
--- a/lib-src/pop.h	Sun Apr 28 19:08:33 1996 +0000
+++ b/lib-src/pop.h	Sun Apr 28 19:08:48 1996 +0000
@@ -35,6 +35,7 @@
   char *buffer;
   int buffer_size, buffer_index;
   int in_multi;
+  int trash_started;
 };
 
 typedef struct _popserver *popserver;