Good news, thanks! Hope to see TechEmpower results as well. Sergey
2014-04-16 2:30 GMT+04:00 Adam Chlipala <[email protected]>: > On 02/26/2014 05:32 AM, Sergey Mironov wrote: >> >> The patches are in attach, please consider reviewing/merging! > > > I was waiting for the TechEmpower benchmark project to publish the next > round with the latest Ur/Web included, but I finally ran out of patience and > incorporated your patches, from the Github repo. Sorry for the long wait. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
