Subject: Re: bug#65858: mumi crashes

From: Arun Isaac <[email-masked]>
Date: Tue, 10 Oct 2023 23:57:24 +0100

Hi Maxim,

I have made a number of changes to mumi and reconfigured berlin with the
latest mumi. Here is a quick summary of the main changes to mumi.

- We now log the complete URI and the response code for every request to
  mumi.
- We now handle HEAD requests correctly. This should eliminate some of
  the crashes we saw in the mumi log.

Regards,
Arun