On Thu, Feb 23, 2017 at 09:13:42PM -0500, Daniel Dickman wrote: > I have an update for coq from 8.4 to 8.6, but I'd like to get the easy > bits in first: > - switch from http to https > - drop gettext module > - regen WANTLIB > - move MODULES up in the Makefile, following Makefile.template > > ok? >
ok shadchin@ -- Alexandr Shadchin
