|
| From: | Rik |
| Subject: | update gnulib before release? |
| Date: | Sat, 02 Nov 2013 22:47:30 -0700 |
11/2/13 All, Should we update the gnulib pointer now, before the release? gnulib is always changing, and presumably getting better. It seems like it might be a good idea to update the pointer so that we don't release with an ancient version of gnulib. --Rik
| [Prev in Thread] | Current Thread | [Next in Thread] |