Better documentation for N716-014

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@231601 936e1b1b-40f2-da11-902a-00137254ae57
Blady-Com · Aug 19, 2014 · 9b39bc4 · 9b39bc4
1 parent a3e32a7
commit 9b39bc4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/distrib/known-problems-60 b/distrib/known-problems-60
@@ -78,12 +78,12 @@ KP-60-N729-034 Wrong highlighting of tasks with aspects and discriminants
 
 KP-60-N716-014 GPS: delay at startup with the remote mode
 
-  Problem:    A 10 second delay slows down the GPS startup when using the
+  Problem:    A 10 second delay might slow down the GPS startup when using the
               remote mode.
 
   Status:     This was fixed in 6.1 on 2014-08-19
 
-  Workaround: Not a blocking issue.
+  Workaround: Wait for the timeout, keep GPS running.
 
 KP-60-N715-048 GPS: Navigation Arrows after 'Find All References to'