diff --git a/cpukit/ChangeLog b/cpukit/ChangeLog
index e4347f38e1..55237079ac 100644
--- a/cpukit/ChangeLog
+++ b/cpukit/ChangeLog
@@ -1,3 +1,8 @@
+2008-08-06      Till Straumann <strauman@slac.stanford.edu>
+
+	* libblock/src/diskdevs.c: PR1269. Delete the semaphore rather
+	than release it.
+
 2008-08-05	Joel Sherrill <joel.sherrill@OARcorp.com>
 
 	PR 537/bsps
diff --git a/cpukit/libblock/src/diskdevs.c b/cpukit/libblock/src/diskdevs.c
index 94a58daa6f..2706e51a26 100644
--- a/cpukit/libblock/src/diskdevs.c
+++ b/cpukit/libblock/src/diskdevs.c
@@ -632,7 +632,7 @@ rtems_disk_io_done(void)
     }
     free(disktab);
 
-    rc = rtems_semaphore_release(diskdevs_mutex);
+    rc = rtems_semaphore_delete(diskdevs_mutex);
 
     /* XXX bdbuf should be released too! */
     disk_io_initialized = 0;