Merge branch '01' into 01-inspect
Merge branch '00-admin' into 01-inspect
Merge branch '01' into 01-inspect
show length and truelength for CHARSXP
Merge branch '01-inspect' into 06-gc-mods
Merge branch '01-inspect' into 10-pretty-news
bug fix
Merge branch '06-gc-mods' into 10-pretty-news