Re: [trinity-devel] local tde GIT tree stuck -- How to fix?