rfc:user_defined_operator_overloads
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
rfc:user_defined_operator_overloads [2022/01/03 00:13] – Opening voting jordanrl | rfc:user_defined_operator_overloads [2022/01/03 00:42] – times jordanrl | ||
---|---|---|---|
Line 729: | Line 729: | ||
===== Vote ===== | ===== Vote ===== | ||
- | Voting started 2022-01-03 and ended 2022-01-17. | + | Voting started 2022-01-03 |
<doodle title=" | <doodle title=" |
rfc/user_defined_operator_overloads.txt · Last modified: 2022/01/17 01:16 by jordanrl