-
Herbert Valerio Riedel authored
This appears to be somewhat redundant, since there's also the SetupWrapper hack in place which also filters out `+timestamp` for externally invoked commands other than `configure`, but it's "good style" to keep `filterConfigureFlags` in sync for the sake of consistency.
24ae23a1