Hi, On Wed, Apr 22, 2015 at 6:09 PM, Jochen Theodorou <[email protected]> wrote: > ...today I was trying to make a commit and found out, that this is currently > quite difficult to do....
No need to copy the private list on this, the idea is to use it as little as possible. -Bertrand
