Merge pull request #20137 from fpetrogalli:move-option
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 21 May 2021 18:56:23 +0000 (18:56 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 21 May 2021 18:56:23 +0000 (18:56 +0000)

Trivial merge