Comments should always end with newline.

diff --git a/src b/src
index 380cfcb2a9aee1dce7b1ab3992ff405166b50729..204b8617d0c999351698ebee4a46cd708f1260a7 100755 (executable)
--- a/src
+++ b/src
@@ -400,6 +400,8 @@ def commit_method(*args):
                commentfile = "/tmp/src%dtmp" % os.getpid()
                do_or_die(editor + " " + commentfile, loud=True)
                comment = open(commentfile).read()
+           if not comment.endswith("\n"):
+               comment += "\n"
            comment = "." + comment.replace("\n", "\n.")[:-1]
            comment = comment.replace("'", r"\'")
            with lifted(arg):