diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 8e964381f9..0d1dde1b02 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,3 +1,6 @@
+#### 5.125.6 - 2017-12-11
+* BUGFIX: Remove possibly nonexistent extension safely - https://github.com/fsprojects/Paket/pull/2901
+
 #### 5.125.5 - 2017-12-11
 * BOOTSTRAPPER: work around fileversion issues