On Fri, Jul 22, 2016 at 07:00:43PM -0400, Leo Famulari wrote: > Done. I also wrote a description of the conflicts I resolved in the > commit message. I think this is useful, since I've had difficulty > learning this information about other merges in the past.
Thank you! I just launched a new evaluation. Andreas
