Zulip Chat Archive
Stream: triage
Topic: issue #3095: Document rw configuration
Random Issue Bot (Dec 24 2020 at 14:29):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: meta, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 06 2021 at 14:31):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: meta, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 20 2021 at 14:19):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 15 2022 at 14:17):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Mar 05 2022 at 14:12):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 05 2022 at 14:21):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 26 2022 at 14:21):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 12 2022 at 14:39):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 02 2023 at 14:08):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Patrick Massot (Jan 02 2023 at 14:09):
The rw doc issue is clearly still relevant, but only in Lean 4.
Random Issue Bot (Feb 24 2023 at 14:08):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 22 2023 at 14:07):
Today I chose issue 3095 for discussion!
Document rw configuration
Created by @Patrick Massot (@PatrickMassot) on 2020-06-17
Labels: needs-documentation, t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC