bug#80400: Request for merging "guile-team" branch

[Thompson, David]

Hi,

I have updates for guile-websocket and guile-hoot. Should I push them to
guile-team or make a separate PR?

Thanks,

- Dave