Re: [Unison-hackers] Release candidate for Unison 2.51.3

On behalf of the whole community, many thanks to Stéphane for getting this release out the door (and to Greg Troxel for a ton of curation on GitHub issues, etc.)!!  

   - Benjamin


> On Sep 15, 2020, at 8:25 AM, Stéphane Glondu <[email protected]> wrote:
> 
> Hello,
> 
> I've just made a release candidate for the next version of Unison, which
> should be 2.51.3.
> 
> Changes since 2.51.2:
>  * Some nontrivial changes to profile parsing (G.raud Meyer)
>       + ’=’ has been considered whitespace until now: several
>         following chars are considered as only one; trailing chars are
>         discarded; any non emty sequence of char is splitting. This is
>         non standard and leads to confusion, for example -ignore==
>         ’Name .*=*’ is valid when -ignore=’Name .*=*’ is not, and
>         worse -ignore=’Name *=’ is the same as -ignore=’Name *’. The
>         parser now takes just a single ’=’ as delimiter after the
>         option name. Other = characters are considered as part of the
>         value being assigned to the option.
>  * Numerous improvements to the text user-interface (G.raud Meyer)
>       + New key-commands that restrict the display to a set of
>         "matching" items: ones that are offering to propagate changes
>         in a particular direction, conflicts, files to be merged,
>         etc., plus several more useful key-commands. Type "?" to
>         Unison to see all available commands.
> 
> This version should be compatible with the previous one, 2.51.2, and
> compile with modern versions of OCaml. Both ends should be compiled with
> the same version of OCaml, though.
> 
> You can download its sources at:
> 
>  https://github.com/bcpierce00/unison/releases/tag/v2.51.3_rc1
> 
> Please test and report any issues!
> 
> 
> Enjoy,
> 
> -- 
> Stéphane
> _______________________________________________
> Unison-hackers mailing list
> [email protected]
> https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers

-- 
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].