|
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
[Prev in Thread] | Current Thread | [Next in Thread] |