Merge branch '01' into 06-gc-mods
Merge branch '00-admin' into 06-gc-mods
Merge branch '01-cleanup' into 06-gc-mods
Merge branch '03-protect' into 06-gc-mods
Merge branch '01-testing' into 06-gc-mods
Merge branch '05-matprod' into 06-gc-mods
Merge branch '01' into 06-gc-mods
minor code cleanup in allocVector
Merge branch '06-gc-mods' into 10-pretty-news