PR !4#10765: feat(Tactic): `ring` modulo a given characte...

Stream: triage

[Random Issue Bot]

Today I chose PR #10765 for discussion!

feat(Tactic): ring modulo a given characteristic
Created by @Anne Baanen (@Vierkantor) on 2024-02-20
Labels: help-wanted, awaiting-author, merge-conflict, t-meta

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

[Edward van de Meent]

I've decided to give getting this up to date a go

[Edward van de Meent]

an up-to-date version can be found at #27835, reviews welcome

[Kevin Buzzard]

@Kenny Lau were you and Heather thinking about this question?

[Kenny Lau]

@Heather Macbeth