Re: [cdt-dev] Request for CDT 9.0.1

[Nathan Ridge <zeratul976@xxxxxxxxxxx>]

> +1. I think any bug that affects a lot of users users adversely is a  
> candidate. 
>  
> I’d like to push out a release by the end of next week, July 15’th. It  
> would probably be a good idea to start ramping down next Monday and  
> make sure we’re stable for the week and make sure we’re not making  
> things worse. 

I've committed all three fixes to the 9.0 branch. Thanks all!

Regards,
Nate