bcpierce00 / unison

Unison file synchronizer
GNU General Public License v3.0
4.03k stars 228 forks source link

Collection of small fixes #804

Closed tleedjarv closed 1 year ago

tleedjarv commented 1 year ago

A few small fixes that could be merged for the upcoming release. More description in commit messages.

First commit (hack in Props) I have not tested and will not test. It seems that the hack was created specifically for one person only. I wonder if this hack should be in the upstream repository in the first place.

Third commit (resource leaks) is somewhat hackish in style (but not in function) but I continued the style of one of the earlier fixes and the goal is to keep the diff to a minimum.