Zulip Chat Archive

Stream: triage

Topic: issue #7626: Create `has_antidiagonal` class


Random Issue Bot (Oct 07 2021 at 14:18):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Mar 22 2022 at 14:13):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Jul 26 2022 at 14:14):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Oct 10 2022 at 14:42):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Nov 27 2022 at 14:08):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Feb 03 2023 at 14:09):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (May 23 2023 at 14:07):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Kevin Buzzard (May 23 2023 at 14:47):

Welcome back @Random Issue Bot !

Kevin Buzzard (May 23 2023 at 14:47):

See you again in a few months

Random Issue Bot (Jun 22 2023 at 14:07):

Today I chose issue 7626 for discussion!

Create has_antidiagonal class
Created by @Bolton Bailey (@BoltonBailey) on 2021-05-16
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?


Last updated: Dec 20 2023 at 11:08 UTC