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)
commitac8e7d57dc64b0fbb41710f11cbd0338ec1219a7
treead9b746b85473f36cf17887db637fdf4985c4f01
parentfea12f7806dbf45687a0d4da365ba62b1fa34ae5
parentda4a531717dd62dda228bda1d3d3f70e54b891e1
Merge pull request #20137 from fpetrogalli:move-option