[Ur] meta library commit "id -> ident" broke it ?

Adam Chlipala adamc at impredicative.com
Fri Jan 13 08:37:11 EST 2012


Marc Weber wrote:
> This commit breaks meta:
>
> commit: eda38f664e6
> message: Adjust to name change for [Top.id]
>
> It replaced id by ident.
>
> I tried latest mercurial urweb version.
>    

But did you run it with the latest meta version?  It works for me.



More information about the Ur mailing list