log

age author description
Thu, 28 Jul 2016 14:18:01 +0200 Maciej Fijalkowski performance: disable workaround for an old bug of Python gc
Fri, 12 Aug 2016 05:56:40 -0700 Simon Farnsworth merge: always use other, not remote, in user prompts
Fri, 12 Aug 2016 06:01:42 -0700 Simon Farnsworth merge: use labels in prompts to the user