Skip to content

Fix process dying in dumb mode - #1536

Merged
Domonion merged 1 commit into
mainfrom
kononov-fixes
Dec 16, 2022
Merged

Fix process dying in dumb mode#1536
Domonion merged 1 commit into
mainfrom
kononov-fixes

Commits

  1. Commits on Dec 16, 2022

    • [utbot-rd]

      DomonionDomonion
      committed
      11ed772