Mark H Weaver <m...@netris.org> skribis:

> I tagged 'wip-binaries' and merged it into master, but there's an
> undesirable side effect.  After the merge, "git describe" from 'master'
> now returns "bootstrap-20190815-222-g32e18e9b94".

I think that’s OK.

Ideally, we’d have mentioned the commit used to build the binaries in
the commit that actually adds those binaries to boostrap.scm.  Maybe
that can still be done with a Git graft?

Thanks,
Ludo’.



Reply via email to