Add links to public Zulip channel from Github and Dafny web sites.#6039

Merged

olivier-aws merged 5 commits intodafny-lang:masterfrom olivier-aws:zulip

Jan 13, 2025

+2-1

Commits on Dec 18, 2024

Adding link to Zulip chat
olivier-aws
committed

Commits on Dec 19, 2024

Add link to Zulip from dafy.org web page
olivier-aws
committed

Commits on Jan 10, 2025

Commits on Jan 13, 2025

Merge branch 'master' into zulip
olivier-aws
authored