From 478fdf78f778b39e0f7677ac8290ec09ada3b698 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Fri, 7 Nov 2014 11:30:00 -0500 Subject: [PATCH] Comments should always end with newline. --- src | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src b/src index 380cfcb..204b861 100755 --- 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): -- 2.43.0