Merge branch '06-gc-mods' into 11-newer-news
Merge branch '08-DispatchOrEval-change' into 11-newer-news
Merge branch '06-gc-mods' into 11-newer-news
Merge branch '06-gc-mods' into 11-newer-news
update date in NEWS and SVN-REVISION
Merge branch '11-newer-news' into 12
mods entry
Merge branch '11-newer-news' into 12