Zulip Chat Archive

Stream: ItaLean 2025

Topic: channel events


Notification Bot (Nov 03 2025 at 00:24):

Private, shared history channel created by Kim Morrison. Description:

(private) Coordination for the ItaLean 2025 workshop. (Moderated by Pietro Monticone.)

Notification Bot (Nov 03 2025 at 22:58):

Kim Morrison changed the access permissions for this channel from Private, shared history to Private, protected history.

Notification Bot (Nov 04 2025 at 01:33):

Kim Morrison changed the description for this channel.

  • Old description:

(private) Coordination for the ItaLean 2025 workshop. (Moderated by Pietro Monticone.)

  • New description:

Discussion channel for the ItaLean 2025 conference. (Moderated by Pietro Monticone.)

Notification Bot (Dec 08 2025 at 05:16):

Kim Morrison changed the access permissions for this channel from Private, protected history to Private, shared history.

Notification Bot (Dec 14 2025 at 08:40):

Kim Morrison changed the access permissions for this channel from Private, shared history to Public.

Kim Morrison (Dec 14 2025 at 08:41):

(per request from organizers)


Last updated: Dec 20 2025 at 21:32 UTC