diff --git a/demos/ARMCM3-STM32F103-GCC/Makefile b/demos/ARMCM3-STM32F103-GCC/Makefile
index a0c76a43b..6c3417ca6 100644
--- a/demos/ARMCM3-STM32F103-GCC/Makefile
+++ b/demos/ARMCM3-STM32F103-GCC/Makefile
@@ -16,8 +16,9 @@
 # Start of default section
 #
 
-TRGT = arm-none-eabi-
+#TRGT = arm-none-eabi-
 #TRGT = arm-eabi-
+TRGT = arm-elf-
 CC   = $(TRGT)gcc
 CP   = $(TRGT)objcopy
 AS   = $(TRGT)gcc -x assembler-with-cpp
diff --git a/demos/ARMCM3-STM32F103-GCC/readme.txt b/demos/ARMCM3-STM32F103-GCC/readme.txt
index ca17e697f..a3ca86747 100644
--- a/demos/ARMCM3-STM32F103-GCC/readme.txt
+++ b/demos/ARMCM3-STM32F103-GCC/readme.txt
@@ -15,7 +15,8 @@ COM2 (USART2).
 ** Build Procedure **
 
 The demo was tested by using the free Codesourcery GCC-based toolchain (a
-modified 4.2.1 GCC) and an experimental WinARM build including GCC 4.3.0.
+modified 4.2.3 GCC),  YAGARTO 4.3.2 and an experimental WinARM build including
+GCC 4.3.0.
 Just modify the TRGT line in the makefile in order to use different GCC ports.
 
 ** Notes **
diff --git a/docs/Doxyfile b/docs/Doxyfile
index 0f75703be..229408920 100644
--- a/docs/Doxyfile
+++ b/docs/Doxyfile
@@ -5,7 +5,7 @@
 #---------------------------------------------------------------------------
 DOXYFILE_ENCODING      = UTF-8
 PROJECT_NAME           = ChibiOS/RT
-PROJECT_NUMBER         = "0.7.1 beta"
+PROJECT_NUMBER         = "0.7.2 beta"
 OUTPUT_DIRECTORY       = .
 CREATE_SUBDIRS         = NO
 OUTPUT_LANGUAGE        = English
diff --git a/docs/index.html b/docs/index.html
index 638e01887..78bf64068 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -12,7 +12,7 @@
     </tr>
     <tr>
       <td style="text-align: center; vertical-align: top; width: 150px;">Current
-Version 0.7.1<br>
+Version 0.7.2<br>
 -<br>
       <a href="http://sourceforge.net/projects/chibios/" rel="me" target="_top">Project on SourceForge</a><br>
       <a href="html/index.html" target="_top" rel="me">Documentation</a><br>
diff --git a/readme.txt b/readme.txt
index b92129785..f66459e33 100644
--- a/readme.txt
+++ b/readme.txt
@@ -74,6 +74,10 @@ Win32-MinGW            - ChibiOS/RT simulator and demo into a WIN32 process,
 *** Releases                                                              ***
 *****************************************************************************
 
+*** 0.7.2 ***
+- Modified the STM32 demo makefile to use the latest YAGARTO toolchain as
+  default (arm-elf-gcc).
+  
 *** 0.7.1 ***
 - NEW: New chThdInit() and chThdCreateStatic() APIs now replace the old
   chThdCreate() and chThdCreateFast() that are thus marked as deprecated.