-
Jérome Perrin authored
Don't try to warn for customization of old API, this is expensive, not something we usually do and anyway probably useless.
40310dbe
Don't try to warn for customization of old API, this is expensive, not something we usually do and anyway probably useless.