Re: Pull Requests from G.raud awaiting review

Great!  I’m still in a very busy period — LICS, POPL deadline, and now the DeepSpec summer school, but I would love to get these vetted and integrated…. 

   - B


> On Jul 12, 2018, at 10:30 AM, Alan Schmitt <[email protected]> wrote:
> 
> Hello,
> 
> On 2018-07-12 15:44, "G.raud" <[email protected]> writes:
> 
>> I have made several pull requests still waiting for approval since
>> march.  To ease the review I list and describe them here.
> 
> Thanks a lot. I just submitted a research paper and that was my most
> important priority until now. I should have some time next week and
> will look at the PR (starting from the easy ones).
> 
> Best,
> 
> Alan
> 
> -- 
> OpenPGP Key ID : 040D0A3B4ED2E5C7
> Monthly Athmospheric CO₂, Mauna Loa Obs. 2018-06: 410.79, 2017-06: 408.84
> _______________________________________________
> Unison-hackers mailing list
> [email protected]
> https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers

_______________________________________________
Unison-hackers mailing list
[email protected]
https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers