Subject: bug#3931: 23.0.96; doc of select-frame-set-input-focus and select-frame

From: "Drew Adams" <[email-masked]>
Date: Sat, 28 Jan 2012 21:23:29 -0800

Subject: RE: [debbugs-tracker] Processed: close 3931

This bug seems to have been closed with no explanation.  At least I received no
other message associated with the closing, apart from the equally empty of
explanation "acknowledged by developer" message.

Was this bug fixed?

> From: GNU bug Tracking System Sent: Friday, January 27, 2012 8:30 PM
> To: Chong Yidong Cc: [email-masked]
> Subject: [debbugs-tracker] Processed: close 3931
> 
> Processing commands for [email-masked]:
> 
> > close 3931
> bug#3931: 23.0.96; doc of select-frame-set-input-focus and 
> select-frame
> bug closed, send any further explanations to
> [email-masked] and "Drew Adams" <[email-masked]>
> 
> > thanks
> Stopping processing here.
> 
> Please contact [email-masked] if you need assistance.
> 
> GNU bugs database, http://debbugs.gnu.org/