|| On Tue, 03 May 2005 10:44:14 +0200
 || "Georg C. F. Greve" <greve@gnu.org> wrote: 

 gg>  b) fix the caching of PINs

Fortunately, I was able to resolve this one myself.

Patch attached.

Regards,
Georg