[Agda] address in lib pull request
Sergei Meshveliani
mechvel at botik.ru
Tue Jul 11 14:47:26 CEST 2017
On Tue, 2017-07-11 at 07:33 -0500, Andrés Sicard-Ramírez wrote:
> On 11 July 2017 at 06:38, Sergei Meshveliani <mechvel at botik.ru> wrote:
> >
> > I commit a pull request for Standard library,
> > and it shows certain expanded commiter address, about which I am not
> > 100% sure.
> >
>
> Which commit?
https://github.com/mechvel/agda-stdlib
I tried sending email to this my extended address, and the Evolution
mailer kept it unsent, I do not know why.
------
Sergei
More information about the Agda
mailing list