Possible Robot editor fix (requires test on Windows)

4 jobs for master in 36 minutes and 57 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Configure
passed #2024
windows
configure:win32

00:00:44

 
  Build
passed #2025
windows
build:win32

00:34:47

 
  Dist
passed #2026
windows
dist:win32

00:00:33

 
  Pack
passed #2027
windows
pack:win32

00:00:51