Rasmus Wriedt Larsen
|
c4e244eb80
|
Python: Add getAwaited to API::Node
I _really_ wanted to call this `.await()`, but that did not fit in with
the convention, or the corresponding `getPromised` in JS.
54f191cfe3/javascript/ql/src/semmle/javascript/ApiGraphs.qll (L184)
|
2021-05-21 17:11:20 +02:00 |
|