tree 9475462ea260e0be865f6346ba4a157765f5dfce
parent db162d0b6739050836390bd0b1a9e6e5509cfaa1
author Andreas Rossberg <rossberg@chromium.org> 1584534355 +0100
committer Andreas Rossberg <rossberg@chromium.org> 1584534355 +0100

[interpreter] Make deprecation warning non-fatal