From eb269f061cbd18e7540d70aaee8044a1b7eea727 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pawe=C5=82=20Marks?= Date: Thu, 23 Nov 2023 11:07:53 +0100 Subject: [PATCH] fix: revert https://github.com/lampepfl/dotty/pull/17915/commits/d53c237aafe098d2bed56fd522c7271410ff9dfd This seems to not be working as expected because `main` is also getting cancelled. [Cherry-picked c6c35f944df5b8b6af6f386739660070fd61027a][modified]