mirror of
https://github.com/github/codeql.git
synced 2026-07-12 15:05:33 +02:00
6a75ebbae2
cf. https://developer.mozilla.org/en-US/docs/Web/API/DOMException/DOMException
(cherry picked from commit 8cc7f5c242)