Pin a deep subdependency#3732

manthey merged 1 commit intomastergirder/girder:masterfrom

pin-get-intrinsicgirder/girder:pin-get-intrinsicCopy head branch name to clipboard