RE: [debbugs-tracker] Processed: close 3931

[Drew Adams]

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: address@hidden
> Subject: [debbugs-tracker] Processed: close 3931
> 
> Processing commands for address@hidden:
> 
> > close 3931
> bug#3931: 23.0.96; doc of select-frame-set-input-focus and 
> select-frame
> bug closed, send any further explanations to
> address@hidden and "Drew Adams" <address@hidden>
> 
> > thanks
> Stopping processing here.
> 
> Please contact address@hidden if you need assistance.
> 
> GNU bugs database, http://debbugs.gnu.org/