The stack of process marks would be high. And if you want this, you
authorLars Ingebrigtsen <larsi@gnus.org>
Tue, 22 Feb 2011 03:15:06 +0000 (19:15 -0800)
committerLars Ingebrigtsen <larsi@gnus.org>
Tue, 22 Feb 2011 03:15:06 +0000 (19:15 -0800)
commit3a369af7b72912a31807d0007c682aca2b4bc05b
tree868b63c76a1608134b352441e29edf647f6eeb98
parente8bf9a34a865c7652e9dd32c8d6ae32b46074b20
The stack of process marks would be high.  And if you want this, you
can just push stuff manually.
todo