docs: deprecate operation.getExtension()
, typing improvements
#39
Loading
operation.getExtension()
, typing improvements
#39