mirror of
https://github.com/zebrajr/postgres.git
synced 2025-12-08 07:38:44 +01:00
Remove namedatalen from TODO.detail. No longer needed.
This commit is contained in:
parent
e9a0de8b3f
commit
d3bd1a00bc