Skip to content

[new] os_ops::get_basename is added#69

Merged
dmitry-lipetsk merged 2 commits into
postgrespro:masterfrom
dmitry-lipetsk:D20260702_001--get_basename
Jul 2, 2026
Merged

[new] os_ops::get_basename is added#69
dmitry-lipetsk merged 2 commits into
postgrespro:masterfrom
dmitry-lipetsk:D20260702_001--get_basename

Conversation

@dmitry-lipetsk

@dmitry-lipetsk dmitry-lipetsk commented Jul 2, 2026

Copy link
Copy Markdown
Collaborator

Replacement for os.path.basename.

UPD. Name was changed to get_path_basename in #75.

To use instead os.path.basename.
@dmitry-lipetsk dmitry-lipetsk force-pushed the D20260702_001--get_basename branch from c12bf15 to a205665 Compare July 2, 2026 05:58
@dmitry-lipetsk dmitry-lipetsk merged commit 82da780 into postgrespro:master Jul 2, 2026
20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant