On Mon, Feb 25, 2013 at 5:31 PM, Pawel Dziepak <pdziepak@xxxxxxxxxxx> wrote: > > Still haven't got rid of habit of avoiding long names completely. > I will amend this commit and change the name to > B_RANDOMIZED_BASE_ADDRESS, since it is not "random base address", but > rather: "randomized, base address". If you mean amend as in git commit --amend, it is best not to amend commits which have already been pushed to a remote repository. -- Regards, Ryan