|
| From: | Michael D. Godfrey |
| Subject: | Re: update gnulib before release? |
| Date: | Sun, 03 Nov 2013 10:09:58 -0500 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.0 |
On 11/03/2013 01:47 AM, Rik wrote:
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
Definitely do it!
| [Prev in Thread] | Current Thread | [Next in Thread] |