octave-maintainers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

update gnulib?


From: Rik
Subject: update gnulib?
Date: Thu, 7 Jul 2016 13:09:40 -0700

Mike,

We try to update gnulib ahead of each release.  Did your last cset

changeset:   22068:88b3c6932236
bookmark:    @
tag:         tip
user:        Mike Miller <address@hidden>
date:        Thu Jul 07 12:15:46 2016 -0700
summary:     maint: use an absolute url for gnulib subrepo, rename back to
gnulib

do that implicitly?  If not, we might as well do it now.

--Rik



reply via email to

[Prev in Thread] Current Thread [Next in Thread]