Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix documentation of substring (backport #12114) #12177

Merged
merged 1 commit into from
Jan 10, 2025

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Jan 10, 2025

Motivation

Documents the actual behavior of builtins.substring.

Context

Fixes #12062


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.


This is an automatic backport of pull request #12114 done by [Mergify](https://mergify.com).

(cherry picked from commit 1e2cace)
@mergify mergify bot added the merge-queue label Jan 10, 2025
mergify bot added a commit that referenced this pull request Jan 10, 2025
mergify bot added a commit that referenced this pull request Jan 10, 2025
mergify bot added a commit that referenced this pull request Jan 10, 2025
@mergify mergify bot merged commit 7a7a3d2 into 2.25-maintenance Jan 10, 2025
23 checks passed
@mergify mergify bot deleted the mergify/bp/2.25-maintenance/pr-12114 branch January 10, 2025 18:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants