=== guiverc_d is now known as guiverc [22:26] which llvm is default in disco dingo ? [22:27] ( Looking to use 6.0 ) [22:48] If WoC returns: currently I have LLVM v6, 7, and 8 on Disco, default is 8