public inbox for [email protected]
help / color / mirror / Atom feedInconsistency in owner assignment between INDEX and STATISTICS
7+ messages / 3 participants
[nested] [flat]
* Inconsistency in owner assignment between INDEX and STATISTICS
@ 2026-02-14 08:48 Shin Berg <[email protected]>
0 siblings, 2 replies; 7+ messages in thread
From: Shin Berg @ 2026-02-14 08:48 UTC (permalink / raw)
To: [email protected]
Hi,
I'd like to raise a small consistency issue between how INDEX and extended
STATISTICS handle object ownership, and ask whether aligning them would be
desirable.
Current behavior (tested on REL_17_STABLE):
- When a superuser creates an INDEX on another user's table, the index is
owned by the *table owner* (see catalog/index.c: index relation's relowner
is set from the heap relation's relowner).
- When a superuser creates STATISTICS on another user's table, the
statistics object is owned by the *current user* (statscmds.c: stxowner =
GetUserId()).
So in a scenario where a DBA creates both an index and extended statistics
on a user's table, the table owner can DROP the index (because they own it)
but cannot DROP the statistics object (they get "does not exist" when
lacking ownership, which hides the real permission issue). That can cause
operational friction in multi-tenant or shared-schema setups (e.g. the
table owner cannot drop the statistics to resolve dependency issues before
altering the table).
Reproduction (as superuser, then as table owner):
CREATE SCHEMA shared_schema;
CREATE USER bob;
GRANT USAGE, CREATE ON SCHEMA shared_schema TO bob;
SET ROLE bob;
CREATE TABLE shared_schema.bob_table (a int, b int);
RESET ROLE;
CREATE INDEX idx_bob ON shared_schema.bob_table(a);
CREATE STATISTICS stat_bob ON a, b FROM shared_schema.bob_table;
SELECT 'INDEX', c.relname, pg_get_userbyid(c.relowner) FROM pg_index i
JOIN pg_class c ON c.oid = i.indexrelid
WHERE indrelid = 'shared_schema.bob_table'::regclass
UNION ALL
SELECT 'STATISTICS', stxname, pg_get_userbyid(stxowner) FROM
pg_statistic_ext
WHERE stxrelid = 'shared_schema.bob_table'::regclass;
-- INDEX owner = bob, STATISTICS owner = superuser
SET ROLE bob;
DROP INDEX shared_schema.idx_bob; -- succeeds
DROP STATISTICS shared_schema.stat_bob; -- ERROR: statistics object
"..." does not exist
I'm not sure if the current STATISTICS ownership behavior was intentional.
If it wasn't, would it make sense to assign the statistics object's owner
to the relation owner (same as INDEX) for consistency and to avoid the
above scenario?
Thanks for your time.
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: Inconsistency in owner assignment between INDEX and STATISTICS
@ 2026-02-26 09:52 Shin Berg <[email protected]>
parent: Shin Berg <[email protected]>
1 sibling, 1 reply; 7+ messages in thread
From: Shin Berg @ 2026-02-26 09:52 UTC (permalink / raw)
To: [email protected]
Gentle ping on this thread — any thoughts or concerns about the
proposed alignment?
Thanks.
On Sat, Feb 14, 2026 at 5:48 PM Shin Berg <[email protected]> wrote:
> Hi,
>
> I'd like to raise a small consistency issue between how INDEX and extended
> STATISTICS handle object ownership, and ask whether aligning them would be
> desirable.
>
> Current behavior (tested on REL_17_STABLE):
>
> - When a superuser creates an INDEX on another user's table, the index is
> owned by the *table owner* (see catalog/index.c: index relation's relowner
> is set from the heap relation's relowner).
> - When a superuser creates STATISTICS on another user's table, the
> statistics object is owned by the *current user* (statscmds.c: stxowner =
> GetUserId()).
>
> So in a scenario where a DBA creates both an index and extended statistics
> on a user's table, the table owner can DROP the index (because they own it)
> but cannot DROP the statistics object (they get "does not exist" when
> lacking ownership, which hides the real permission issue). That can cause
> operational friction in multi-tenant or shared-schema setups (e.g. the
> table owner cannot drop the statistics to resolve dependency issues before
> altering the table).
>
> Reproduction (as superuser, then as table owner):
>
> CREATE SCHEMA shared_schema;
> CREATE USER bob;
> GRANT USAGE, CREATE ON SCHEMA shared_schema TO bob;
>
> SET ROLE bob;
> CREATE TABLE shared_schema.bob_table (a int, b int);
> RESET ROLE;
>
> CREATE INDEX idx_bob ON shared_schema.bob_table(a);
> CREATE STATISTICS stat_bob ON a, b FROM shared_schema.bob_table;
>
> SELECT 'INDEX', c.relname, pg_get_userbyid(c.relowner) FROM pg_index i
> JOIN pg_class c ON c.oid = i.indexrelid
> WHERE indrelid = 'shared_schema.bob_table'::regclass
> UNION ALL
> SELECT 'STATISTICS', stxname, pg_get_userbyid(stxowner) FROM
> pg_statistic_ext
> WHERE stxrelid = 'shared_schema.bob_table'::regclass;
> -- INDEX owner = bob, STATISTICS owner = superuser
>
> SET ROLE bob;
> DROP INDEX shared_schema.idx_bob; -- succeeds
> DROP STATISTICS shared_schema.stat_bob; -- ERROR: statistics object
> "..." does not exist
>
> I'm not sure if the current STATISTICS ownership behavior was intentional.
> If it wasn't, would it make sense to assign the statistics object's owner
> to the relation owner (same as INDEX) for consistency and to avoid the
> above scenario?
>
> Thanks for your time.
>
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: Inconsistency in owner assignment between INDEX and STATISTICS
@ 2026-03-09 11:02 Shin Berg <[email protected]>
parent: Shin Berg <[email protected]>
0 siblings, 0 replies; 7+ messages in thread
From: Shin Berg @ 2026-03-09 11:02 UTC (permalink / raw)
To: [email protected]
Hi,
Following up on my earlier proposal — I've gone ahead and written a patch
rather than waiting for feedback.
The fix is in CreateStatistics(): after opening the relation, stxowner is
set to rel->rd_rel->relowner instead of GetUserId(). The permission check
is left using GetUserId() so that only the relation owner (or a superuser)
can create statistics, but the ownership recorded in pg_statistic_ext now
matches what CREATE INDEX does.
A regression test is included in stats_ext.sql to verify that the
statistics owner equals the table owner when a superuser creates the
statistics object.
Patch attached.
Thanks,
Joshua-Shin
On Thu, Feb 26, 2026 at 6:52 PM Shin Berg <[email protected]> wrote:
> Gentle ping on this thread — any thoughts or concerns about the
> proposed alignment?
>
> Thanks.
>
> On Sat, Feb 14, 2026 at 5:48 PM Shin Berg <[email protected]> wrote:
>
>> Hi,
>>
>> I'd like to raise a small consistency issue between how INDEX and
>> extended STATISTICS handle object ownership, and ask whether aligning them
>> would be desirable.
>>
>> Current behavior (tested on REL_17_STABLE):
>>
>> - When a superuser creates an INDEX on another user's table, the index is
>> owned by the *table owner* (see catalog/index.c: index relation's relowner
>> is set from the heap relation's relowner).
>> - When a superuser creates STATISTICS on another user's table, the
>> statistics object is owned by the *current user* (statscmds.c: stxowner =
>> GetUserId()).
>>
>> So in a scenario where a DBA creates both an index and extended
>> statistics on a user's table, the table owner can DROP the index (because
>> they own it) but cannot DROP the statistics object (they get "does not
>> exist" when lacking ownership, which hides the real permission issue). That
>> can cause operational friction in multi-tenant or shared-schema setups
>> (e.g. the table owner cannot drop the statistics to resolve dependency
>> issues before altering the table).
>>
>> Reproduction (as superuser, then as table owner):
>>
>> CREATE SCHEMA shared_schema;
>> CREATE USER bob;
>> GRANT USAGE, CREATE ON SCHEMA shared_schema TO bob;
>>
>> SET ROLE bob;
>> CREATE TABLE shared_schema.bob_table (a int, b int);
>> RESET ROLE;
>>
>> CREATE INDEX idx_bob ON shared_schema.bob_table(a);
>> CREATE STATISTICS stat_bob ON a, b FROM shared_schema.bob_table;
>>
>> SELECT 'INDEX', c.relname, pg_get_userbyid(c.relowner) FROM pg_index i
>> JOIN pg_class c ON c.oid = i.indexrelid
>> WHERE indrelid = 'shared_schema.bob_table'::regclass
>> UNION ALL
>> SELECT 'STATISTICS', stxname, pg_get_userbyid(stxowner) FROM
>> pg_statistic_ext
>> WHERE stxrelid = 'shared_schema.bob_table'::regclass;
>> -- INDEX owner = bob, STATISTICS owner = superuser
>>
>> SET ROLE bob;
>> DROP INDEX shared_schema.idx_bob; -- succeeds
>> DROP STATISTICS shared_schema.stat_bob; -- ERROR: statistics object
>> "..." does not exist
>>
>> I'm not sure if the current STATISTICS ownership behavior was
>> intentional. If it wasn't, would it make sense to assign the statistics
>> object's owner to the relation owner (same as INDEX) for consistency and to
>> avoid the above scenario?
>>
>> Thanks for your time.
>>
>
Attachments:
[application/octet-stream] 0001-Make-CREATE-STATISTICS-assign-ownership-to-the-relat.patch (4.1K, 3-0001-Make-CREATE-STATISTICS-assign-ownership-to-the-relat.patch)
download | inline diff:
From 723d8106a6ae63667d76138b0dfb33824e01de80 Mon Sep 17 00:00:00 2001
From: Joshua-Shin <[email protected]>
Date: Mon, 9 Mar 2026 19:58:27 +0900
Subject: [PATCH] Make CREATE STATISTICS assign ownership to the relation owner
When a superuser creates extended statistics on another user's table,
the statistics object was owned by the current user (GetUserId()) rather
than the table owner. This is inconsistent with CREATE INDEX, which
assigns ownership to the table owner unconditionally.
Fix by setting stxowner to the relation owner after the relation is
opened, while keeping the permission check against GetUserId().
Add a regression test that verifies the statistics owner matches the
table owner when created by a superuser.
---
src/backend/commands/statscmds.c | 3 ++-
src/test/regress/expected/stats_ext.out | 14 ++++++++++++++
src/test/regress/sql/stats_ext.sql | 10 ++++++++++
3 files changed, 26 insertions(+), 1 deletion(-)
diff --git a/src/backend/commands/statscmds.c b/src/backend/commands/statscmds.c
index c1da79f36ba..74732f96eb9 100644
--- a/src/backend/commands/statscmds.c
+++ b/src/backend/commands/statscmds.c
@@ -142,7 +142,7 @@ CreateStatistics(CreateStatsStmt *stmt, bool check_rights)
* different relation than a previous lookup by the caller, so we must
* perform this check even when check_rights == false.
*/
- if (!object_ownercheck(RelationRelationId, RelationGetRelid(rel), stxowner))
+ if (!object_ownercheck(RelationRelationId, RelationGetRelid(rel), GetUserId()))
aclcheck_error(ACLCHECK_NOT_OWNER, get_relkind_objtype(rel->rd_rel->relkind),
RelationGetRelationName(rel));
@@ -156,6 +156,7 @@ CreateStatistics(CreateStatsStmt *stmt, bool check_rights)
Assert(rel);
relid = RelationGetRelid(rel);
+ stxowner = rel->rd_rel->relowner;
/*
* If the node has a name, split it up and determine creation namespace.
diff --git a/src/test/regress/expected/stats_ext.out b/src/test/regress/expected/stats_ext.out
index b6431d1ee95..8dbe94be5ce 100644
--- a/src/test/regress/expected/stats_ext.out
+++ b/src/test/regress/expected/stats_ext.out
@@ -3509,6 +3509,20 @@ REVOKE CREATE ON SCHEMA sts_sch1, sts_sch2 FROM regress_stats_user1;
SET SESSION AUTHORIZATION regress_stats_user1;
ALTER TABLE sts_sch1.tbl ALTER COLUMN a TYPE SMALLINT;
ALTER TABLE sts_sch1.tbl ALTER COLUMN c SET EXPRESSION AS (a * 3);
+-- Test that statistics ownership follows the table owner when a superuser
+-- creates statistics on another user's table, consistent with CREATE INDEX.
+RESET SESSION AUTHORIZATION;
+CREATE TABLE stats_owner_test (a int, b int) WITH (autovacuum_enabled = off);
+ALTER TABLE stats_owner_test OWNER TO regress_stats_user1;
+CREATE STATISTICS stats_owner_test_stat ON a, b FROM stats_owner_test;
+SELECT pg_get_userbyid(stxowner) = 'regress_stats_user1' AS owner_is_table_owner
+FROM pg_statistic_ext WHERE stxname = 'stats_owner_test_stat';
+ owner_is_table_owner
+----------------------
+ t
+(1 row)
+
+DROP TABLE stats_owner_test;
-- Tidy up
DROP OPERATOR <<< (int, int);
DROP FUNCTION op_leak(int, int);
diff --git a/src/test/regress/sql/stats_ext.sql b/src/test/regress/sql/stats_ext.sql
index 9dcce3440c8..be14c82743e 100644
--- a/src/test/regress/sql/stats_ext.sql
+++ b/src/test/regress/sql/stats_ext.sql
@@ -1795,6 +1795,16 @@ SET SESSION AUTHORIZATION regress_stats_user1;
ALTER TABLE sts_sch1.tbl ALTER COLUMN a TYPE SMALLINT;
ALTER TABLE sts_sch1.tbl ALTER COLUMN c SET EXPRESSION AS (a * 3);
+-- Test that statistics ownership follows the table owner when a superuser
+-- creates statistics on another user's table, consistent with CREATE INDEX.
+RESET SESSION AUTHORIZATION;
+CREATE TABLE stats_owner_test (a int, b int) WITH (autovacuum_enabled = off);
+ALTER TABLE stats_owner_test OWNER TO regress_stats_user1;
+CREATE STATISTICS stats_owner_test_stat ON a, b FROM stats_owner_test;
+SELECT pg_get_userbyid(stxowner) = 'regress_stats_user1' AS owner_is_table_owner
+FROM pg_statistic_ext WHERE stxname = 'stats_owner_test_stat';
+DROP TABLE stats_owner_test;
+
-- Tidy up
DROP OPERATOR <<< (int, int);
DROP FUNCTION op_leak(int, int);
--
2.52.0
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: Inconsistency in owner assignment between INDEX and STATISTICS
@ 2026-03-10 14:07 Amit Khandekar <[email protected]>
parent: Shin Berg <[email protected]>
1 sibling, 1 reply; 7+ messages in thread
From: Amit Khandekar @ 2026-03-10 14:07 UTC (permalink / raw)
To: Shin Berg <[email protected]>; +Cc: [email protected]
On Sat, 14 Feb 2026 at 14:18, Shin Berg <[email protected]> wrote:
>
> Hi,
>
> I'd like to raise a small consistency issue between how INDEX and extended STATISTICS handle object ownership, and ask whether aligning them would be desirable.
>
> Current behavior (tested on REL_17_STABLE):
>
> - When a superuser creates an INDEX on another user's table, the index is owned by the *table owner* (see catalog/index.c: index relation's relowner is set from the heap relation's relowner).
> - When a superuser creates STATISTICS on another user's table, the statistics object is owned by the *current user* (statscmds.c: stxowner = GetUserId()).
I will try to divide the problem into two questions:
1. Should the statistics object's owner be permanently associated with
the table owner?
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: Inconsistency in owner assignment between INDEX and STATISTICS
@ 2026-03-11 09:54 Shin Berg <[email protected]>
parent: Amit Khandekar <[email protected]>
0 siblings, 1 reply; 7+ messages in thread
From: Shin Berg @ 2026-03-11 09:54 UTC (permalink / raw)
To: Amit Khandekar <[email protected]>; +Cc: [email protected]
Thank you for the detailed feedback, Amit.
You're right on both points. I had been comparing STATISTICS against INDEX
and treating the difference as an inconsistency, but as you point out,
INDEX ownership is special — it's tied to the table and intentionally not
user-adjustable. STATISTICS follows the same ownership model as VIEW (the
creator becomes the owner), which is consistent and by design.
I also verified locally that my reproduction script was flawed: the
"must be owner" error was caused by a schema search path issue, not an
ownership restriction. The script did not demonstrate what I claimed.
I'm withdrawing this proposal. Thanks again for taking the time to review
it.
On Tue, Mar 10, 2026 at 11:07 PM Amit Khandekar <[email protected]>
wrote:
> On Sat, 14 Feb 2026 at 14:18, Shin Berg <[email protected]> wrote:
> >
> > Hi,
> >
> > I'd like to raise a small consistency issue between how INDEX and
> extended STATISTICS handle object ownership, and ask whether aligning them
> would be desirable.
> >
> > Current behavior (tested on REL_17_STABLE):
> >
> > - When a superuser creates an INDEX on another user's table, the index
> is owned by the *table owner* (see catalog/index.c: index relation's
> relowner is set from the heap relation's relowner).
> > - When a superuser creates STATISTICS on another user's table, the
> statistics object is owned by the *current user* (statscmds.c: stxowner =
> GetUserId()).
>
> I will try to divide the problem into two questions:
>
> 1. Should the statistics object's owner be permanently associated with
> the table owner?
>
> From the docs, it does look like the current behaviour is intentional.
>
> https://www.postgresql.org/docs/current/sql-createstatistics.html :
> "You must be the owner of a table to create a statistics object
> reading it. Once created, however, the ownership of the statistics
> object is independent of the underlying table(s)."
>
> So I think we should not change the behaviour where the statistics
> object is created with independent ownership.
>
> With indexes, the behaviour has always been that it is associated with
> the table:
>
> postgres=# alter INDEX shared_schema.idx_bob owner to bob1;
> WARNING: cannot change owner of index "idx_bob"
> HINT: Change the ownership of the index's table instead.
>
> 2. Regardless of that, should the "create statistics" create the stat
> object with the same ownership as the table's, if it's the superuser
> who is creating the statistics?
>
> I think, since there is no permanent association of ownership between
> the table and the statistics, it makes sense for the user who is
> running the create command to own the statistics, regardless of who
> the user is, provided that the user has privileges.
>
> >
> > So in a scenario where a DBA creates both an index and extended
> statistics on a user's table, the table owner can DROP the index (because
> they own it) but cannot DROP the statistics object (they get "does not
> exist" when lacking ownership, which hides the real permission issue).
>
> The permission error should be emitted if the DROP is on the right
> schema. See below.
>
> > That can cause operational friction in multi-tenant or shared-schema
> setups (e.g. the table owner cannot drop the statistics to resolve
> dependency issues before altering the table).
>
> Maybe, make sure the table owner (and not the superuser) is creating
> the statistics?
>
> >
> > Reproduction (as superuser, then as table owner):
> >
> > CREATE SCHEMA shared_schema;
> > CREATE USER bob;
> > GRANT USAGE, CREATE ON SCHEMA shared_schema TO bob;
> >
> > SET ROLE bob;
> > CREATE TABLE shared_schema.bob_table (a int, b int);
> > RESET ROLE;
> >
> > CREATE INDEX idx_bob ON shared_schema.bob_table(a);
> > CREATE STATISTICS stat_bob ON a, b FROM shared_schema.bob_table;
> >
> > SELECT 'INDEX', c.relname, pg_get_userbyid(c.relowner) FROM pg_index i
> > JOIN pg_class c ON c.oid = i.indexrelid
> > WHERE indrelid = 'shared_schema.bob_table'::regclass
> > UNION ALL
> > SELECT 'STATISTICS', stxname, pg_get_userbyid(stxowner) FROM
> pg_statistic_ext
> > WHERE stxrelid = 'shared_schema.bob_table'::regclass;
> > -- INDEX owner = bob, STATISTICS owner = superuser
> >
> > SET ROLE bob;
> > DROP INDEX shared_schema.idx_bob; -- succeeds
> > DROP STATISTICS shared_schema.stat_bob; -- ERROR: statistics object
> "..." does not exist
>
> The statistics object is created in the default schema, not the table's
> schema.
> postgres=> DROP STATISTICS public.stat_bob;
> ERROR: must be owner of statistics object public.stat_bob
>
> Thanks
> -Amit Khandekar
>
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: Inconsistency in owner assignment between INDEX and STATISTICS
@ 2026-03-16 01:15 Shin Berg <[email protected]>
parent: Shin Berg <[email protected]>
0 siblings, 1 reply; 7+ messages in thread
From: Shin Berg @ 2026-03-16 01:15 UTC (permalink / raw)
To: Tom Lane <[email protected]>; +Cc: Amit Khandekar <[email protected]>; [email protected]
Thank you for the additional context, Tom. That makes the design intent
much clearer.
Cross-table statistics, if realized, would be a significant improvement for
join cardinality estimation; looking forward to seeing that develop.
Regards,
Joshua Shin
On Mon, Mar 16, 2026 at 5:09 AM Tom Lane <[email protected]> wrote:
> Shin Berg <[email protected]> writes:
> > Thank you for the detailed feedback, Amit.
> > You're right on both points. I had been comparing STATISTICS against
> INDEX
> > and treating the difference as an inconsistency, but as you point out,
> > INDEX ownership is special — it's tied to the table and intentionally not
> > user-adjustable. STATISTICS follows the same ownership model as VIEW (the
> > creator becomes the owner), which is consistent and by design.
>
> One point that was not mentioned is that while indexes are necessarily
> tied to a single table, statistics objects might not always be. The
> long-term hope is to allow statistics on cross-table combinations of
> columns, which is why the syntax was intentionally set up to look like
> SELECT. So, just like views, it's reasonable to give them independent
> ownership.
>
> regards, tom lane
>
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: Inconsistency in owner assignment between INDEX and STATISTICS
@ 2026-04-07 10:34 JoongHyuk Shin <[email protected]>
parent: Shin Berg <[email protected]>
0 siblings, 0 replies; 7+ messages in thread
From: JoongHyuk Shin @ 2026-04-07 10:34 UTC (permalink / raw)
To: Tom Lane <[email protected]>; +Cc: Amit Khandekar <[email protected]>; [email protected]
One related thing I noticed.
Unlike CREATE INDEX, CREATE STATISTICS on a partitioned table does not
propagate to child partitions.
Is that intentional, or simply not implemented yet?
In practice, if you create statistics on a partitioned parent and then
EXPLAIN a WHERE query,
the planner doesn't use the stats because after partition pruning it looks
at the child's statistics,
where none exist. You have to create statistics on each child explicitly to
get the benefit.
If the answer is "create stats per partition yourself", that's fine.
Just wanted to confirm whether this is by design.
On Mon, Mar 16, 2026 at 10:15 AM Shin Berg <[email protected]> wrote:
> Thank you for the additional context, Tom. That makes the design intent
> much clearer.
> Cross-table statistics, if realized, would be a significant improvement
> for join cardinality estimation; looking forward to seeing that develop.
>
> Regards,
> Joshua Shin
>
> On Mon, Mar 16, 2026 at 5:09 AM Tom Lane <[email protected]> wrote:
>
>> Shin Berg <[email protected]> writes:
>> > Thank you for the detailed feedback, Amit.
>> > You're right on both points. I had been comparing STATISTICS against
>> INDEX
>> > and treating the difference as an inconsistency, but as you point out,
>> > INDEX ownership is special — it's tied to the table and intentionally
>> not
>> > user-adjustable. STATISTICS follows the same ownership model as VIEW
>> (the
>> > creator becomes the owner), which is consistent and by design.
>>
>> One point that was not mentioned is that while indexes are necessarily
>> tied to a single table, statistics objects might not always be. The
>> long-term hope is to allow statistics on cross-table combinations of
>> columns, which is why the syntax was intentionally set up to look like
>> SELECT. So, just like views, it's reasonable to give them independent
>> ownership.
>>
>> regards, tom lane
>>
>
^ permalink raw reply [nested|flat] 7+ messages in thread
end of thread, other threads:[~2026-04-07 10:34 UTC | newest]
Thread overview: 7+ messages (download: mbox mbox.gz follow: Atom feed)
-- links below jump to the message on this page --
2026-02-14 08:48 Inconsistency in owner assignment between INDEX and STATISTICS Shin Berg <[email protected]>
2026-02-26 09:52 ` Shin Berg <[email protected]>
2026-03-09 11:02 ` Shin Berg <[email protected]>
2026-03-10 14:07 ` Amit Khandekar <[email protected]>
2026-03-11 09:54 ` Shin Berg <[email protected]>
2026-03-16 01:15 ` Shin Berg <[email protected]>
2026-04-07 10:34 ` JoongHyuk Shin <[email protected]>
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox