intent to merge "watch = false" default

Greg Troxel <[email protected]> Tue, 08 Jun 2021 11:51:12 -0400
Newsgroups gmane.network.unison.devel
Message-ID <[email protected]>
I intend to merge this:

  https://github.com/bcpierce00/unison/pull/528

some time after 18Z on 10 June (a bit over 48h from now).

Please speak up in the PR or here if you think that isn't a good idea.

_______________________________________________
Unison-hackers mailing list
[email protected]
https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers
signature.asc (application/pgp-signature, 194 B)
-----BEGIN PGP SIGNATURE-----

iF0EARECAB0WIQS7wyAjWilQwVHG9Vsf2nroCY7WDgUCYL+R8AAKCRAf2nroCY7W
DgbgAJ4tSuFB6yRUahkuwJYToWeuYq6RlQCfdE8UjGFuQNS0oMmZGnQqYvFyhjQ=
=vLbc
-----END PGP SIGNATURE-----