diff --git a/.github/workflows/polonius.diff b/.github/workflows/polonius.diff index eb46b29624..30282915b2 100644 --- a/.github/workflows/polonius.diff +++ b/.github/workflows/polonius.diff @@ -41,4 +41,4 @@ modified neqo-transport/src/server.rs + self.process_input(dgram, now, out) } else { Output::None - }; \ No newline at end of file + };