devops: Don't report unreleased when releasing core version.

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 367d24b5290cfb6531770735f45dcaf5d576326d..7b826997815ddd600d43a57fb28ae149aeb830bd 100644 (file)
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -376,7 +376,7 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
         (pkgvers (string project"-"vers))
         (logfile (string "devops/"pkgvers"-src.log")))
     (log "# "pkgvers":\n")
-    (write-lint (core-lint version changes dirt))
+    (write-lint (core-lint version '() dirt))
     (with-output-log
      logfile
      (lambda ()