Subject: Re: [mumi] [PATCH] README.org: Update instructions to run mumi locally.
From: Arun Isaac <[email-masked]>
To: [email-masked]
Cc: Luis Felipe <[email-masked]>
Date: Fri, 07 Jun 2024 23:14:32 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Applied, thanks!

I made a small modification to the final `mumi web' command so that the
web server listens on localhost.