Regarding the usernames, the accepted way to do this in git is to have a
.mailmap file, a la https://github.com/coq/coq/blob/trunk/.mailmap.
On Mon, Apr 20, 2015 at 3:49 PM, David Aspinall david.aspin...@ed.ac.uk
wrote:
Hello Clément, all,
This is a very timely message! I have indeed started
Hi,
Except #466 are there other bugs on indentation? I don't see them.
I have had a number of indentation issues with PG. I will go check the bug
list and file new tickets if they are not there. In short, my biggest
issues have been with Arguments foo /. (adding a space after the /
fixes it)
I did not see bugs about these pre-existing. I have created #473 and #474.
I may have run into other bugs, but these are the two that bite me
repeatedly, to the extent that I change my code to work around them.
-Jason
On Fri, Jul 5, 2013 at 11:07 AM, Jason Gross jasongro...@gmail.com wrote