[Unison-hackers] Pull Requests from G.raud awaiting review
Benjamin C. Pierce
bcpierce at cis.upenn.edu
Sat Jul 14 05:11:19 EDT 2018
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 <alan.schmitt at polytechnique.org> wrote:
>
> Hello,
>
> On 2018-07-12 15:44, "G.raud" <graud at gmx.com> 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
> Unison-hackers at LISTS.SEAS.UPENN.EDU
> https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers
More information about the Unison-hackers
mailing list