[LLVMdev] Build bot for documentation?

[Dan Liew]

>> - Is it still okay to use 'gribozavr4' as the build slave?
>
> Of course.

Great. Thanks for the quick reply.

Should I CC anyone when sending to llvm-commits apart from you?

Thanks,
Dan.