add missing vector ctor reported by Markus Moll on the ML
1 file changed