-
Herbert Valerio Riedel authored
This was removed in bb003086 and caused some buildbots to stop working. So this commit just re-adds it as a no-op (wrt the current default).
3694d877
This was removed in bb003086 and caused some buildbots to stop working. So this commit just re-adds it as a no-op (wrt the current default).