Merge branch '17-fixes' into 18-new-news
put in forgotten void decl
Merge branch '17-fixes' into 18-new-news
Merge branch '17-mods' into 18-new-news
Merge branch '17-mods' into 19
fix somewhat mysterious problem with fork redef
Merge branch '17-fixes' into 18-new-news
Merge branch '17-fixes' into 19
Merge branch '18-new-news' into 19
yet more tweaking of redef of fork to Rf_fork
Merge branch '17-fixes' into 19