Activity
From 09 Nov 2023 to 08 Dec 2023
01 Dec 2023
- 21:30 0.10 hour (Design #1768 (Closed): Limit indentation in verbose mesgs?)
- Testing
- 21:29 0.10 hour (Slug #1769 (Closed): FixedDivisor is sometimes surprisingly slow)
- Fixed
- 21:16 0.75 hour (Design #1771 (Closed): Hadamard bound: field names)
- Name change
27 Nov 2023
21 Nov 2023
20 Nov 2023
- 22:10 0.25 hour (Design #1768 (Closed): Limit indentation in verbose mesgs?)
- Checked in
- 10:05 0.20 hour (Design #1768 (Closed): Limit indentation in verbose mesgs?)
- OK
- 09:54 0.25 hour (Design #1768 (Closed): Limit indentation in verbose mesgs?)
19 Nov 2023
Also available in: Atom