diff --git a/VERSION b/VERSION index 104dd5e59d..d520221113 100644 --- a/VERSION +++ b/VERSION @@ -4,4 +4,4 @@ # $Id$ # -RTEMS Version ss-20000726 +RTEMS Version ss-20000802