[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