Named Operators

Edit
Title Named Operators
Topic Server Features
Created 2023-01-12 09:20:26
Last modified 2023-01-12 09:20:58 (3 weeks, 4 days ago)
Latest email 2023-01-31 10:21:12 (6 days, 22 hours ago)
Status
2023-03: Needs review
Target version 16
Authors Gurjeet Singh (gurjeet)
Reviewers Become reviewer
Committer
Links
Emails
Named Operators
First at 2023-01-12 09:16:11 by Gurjeet Singh <gurjeet at singh.im>
Latest at 2023-01-31 10:21:12 by Peter Eisentraut <peter.eisentraut at enterprisedb.com>
Latest attachment (named_operators_v4.patch) at 2023-01-20 18:56:00 from Gurjeet Singh <gurjeet at singh.im>
    Attachment (named_operators_v4.patch) at 2023-01-20 18:56:00 from Gurjeet Singh <gurjeet at singh.im> (Patch: Yes)
    Attachment (named_operators_v3.patch) at 2023-01-20 17:16:42 from Gurjeet Singh <gurjeet at singh.im> (Patch: Yes)
    Attachment (named_operators_v2.patch) at 2023-01-14 14:14:02 from Gurjeet Singh <gurjeet at singh.im> (Patch: Yes)
    Attachment (named_operators_v1.patch) at 2023-01-12 09:30:42 from Gurjeet Singh <gurjeet at singh.im> (Patch: Yes)
    Attachment (named_operators.patch) at 2023-01-12 09:16:11 from Gurjeet Singh <gurjeet at singh.im> (Patch: Yes)
History
When Who What
2023-01-12 09:20:58 Gurjeet Singh (gurjeet) Changed authors to Gurjeet Singh (gurjeet)
2023-01-12 09:20:58 Gurjeet Singh (gurjeet) Changed targetversion to 16
2023-01-12 09:20:26 Gurjeet Singh (gurjeet) Attached mail thread CABwTF4VVuacLV+coERacdDxUXg5tDMHZxvgH5+ek0UZvoq386g@mail.gmail.com
2023-01-12 09:20:26 Gurjeet Singh (gurjeet) Created patch record
Edit