diff --git a/ChangeLog b/ChangeLog
index 6ab25aa0..6c0b89df 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -147,6 +147,21 @@ Changelog for series 0.1a:
 -----------------------------------
 Changelog for series 0.1:
 
+mars0.1stable51
+	* Minor fix: don't abort log-delete-all too early when there
+	  are holes in the deletion sequence numbers.
+	* Backport of marsadm cron from branch 0.1a, in order to systematically
+	  support mixed operation of different MARS versions in bigger installations
+	  (avoid confusion at junior sysadmins and at monitoring staff).
+	* Rectified the semantics of log-delete, which now does the same as
+	  log-delete-all. Single deletion is only needed for testing, and
+	  has been renamed to log-delete-one.
+	  Leaving the old semantics would have been an operational risk
+	  when junior sysadmins or 24/7 surveillance people are not carefully
+	  looking at the details of semantics. Now everything is hopefully
+	  as everybody not familiar with MARS would naively assume.
+	* Doc update.
+
 mars0.1stable50
 	* Major usability improvement (backport from 0.1a):
 	  marsadm shows number of replicas of each resource, out of total number
diff --git a/userspace/marsadm b/userspace/marsadm
index 7c187d14..2bacd79a 100755
--- a/userspace/marsadm
+++ b/userspace/marsadm
@@ -98,7 +98,7 @@ sub lwarn {
 
 my $Id = '$Id$ ';
 my $user_version = 0.1;
-my $marsadm_version = 1.2; # some rough hint at newer features
+my $marsadm_version = 1.3; # some rough hint at newer features
 my $mars = "/mars";
 my $host = `uname -n` or ldie "cannot determine my network node name\n";
 chomp $host;