Closed agarny closed 1 year ago
Fixes #1089.
Was this commit added to the correct PR?
Oops, you are completely right! Have just cherry picked it for PR #1080 (see commit 356e1707).
Fixes #1089.