commenting out a line that is supposed to be a comment#9

JoHof wants to merge 1 commit intogoogle-deepmind:mastergoogle-deepmind/surface-distance:masterfrom

JoHof:fix/comment_commentJoHof/surface-distance:fix/comment_commentCopy head branch name to clipboard