[debbugs-tracker] Processed: control message for bug #6437

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 6437 fixed
Bug #6437 [emacs] 23.2; Fail to parse GTK font size with decimal point
Added tag(s) fixed.
> close 6437 24.1
bug#6437: 23.2; Fail to parse GTK font size with decimal point
bug marked as fixed in version 24.1, send any further explanations to
address@hidden and Keith Packard <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/