3.4.1

Bug Fixes

This release fixes a major bug (#387) accidentally introduced by #350 and fixed by #388. We decided to release this immediately with a cherry-picked commit instead of releasing it alongside other commits, since we upgraded CDT in the meantime to 10.2 and we will reserve that for a 3.5.0 release.