Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
bug#12632: updated version of the patch
2 views
Skip to first unread message
Paul Eggert
Nov 14, 2012, 12:10:22 AM11/14/12
to 12632...@debbugs.gnu.org
I installed the patch as trunk bzr 110889 and
am marking this as done.
am marking this as done.
0 new messages