Corrected version number.

Source/include/task.h

@@ -69,7 +69,7 @@ extern "C" {
  * MACROS AND DEFINITIONS
  *----------------------------------------------------------*/
 
-#define tskKERNEL_VERSION_NUMBER "V5.1.0"
+#define tskKERNEL_VERSION_NUMBER "V5.2.0"
 
 /**
  * task. h
@@ -867,10 +867,8 @@ void vTaskList( signed portCHAR *pcWriteBuffer );
  * to be available.  The application must also then provide definitions
  * for portCONFIGURE_TIMER_FOR_RUN_TIME_STATS() and
  * portGET_RUN_TIME_COUNTER_VALUE to configure a peripheral timer/counter
- * and return the timers current count value respectively.  A 1uS timer
- * frequency is recommended for a 32bit peripheral counter - this will
- * allow the statistics to be gathered over the first (approximately) 70
- * minutes of execution.
+ * and return the timers current count value respectively.  The counter
+ * should be at least 10 times the frequency of the tick count.
  *
  * NOTE: This function will disable interrupts for its duration.  It is
  * not intended for normal application runtime use but as a debug aid.