Skip to content

chore(main): release 17.2.0 #1672

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

Merged
merged 1 commit into from
Jun 24, 2025
Merged

chore(main): release 17.2.0 #1672

merged 1 commit into from
Jun 24, 2025

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jun 19, 2025

🤖 I have created a release beep boop

17.2.0 (2025-06-24)

Features

  • workspaces: files can be opened as buffers (#1708) (2ea49ff)

Bug Fixes

  • require tool module path correctly (#1670) (dbefc41)
  • tools: patching algorithm can start with an empty line (#1663) (370ec56)
  • tools: patching algorithm now supports lines starting with - (#1654) (9011839)

This PR was generated with Release Please. See documentation.

@github-actions github-actions bot changed the title chore(main): release 17.1.2 chore(main): release 17.2.0 Jun 24, 2025
@github-actions github-actions bot force-pushed the release-please--branches--main branch 2 times, most recently from c95f670 to 454f625 Compare June 24, 2025 21:49
@github-actions github-actions bot force-pushed the release-please--branches--main branch from 454f625 to d3d68c5 Compare June 24, 2025 21:51
@olimorris olimorris merged commit e18a9bf into main Jun 24, 2025
@olimorris olimorris deleted the release-please--branches--main branch June 24, 2025 21:52
Copy link
Contributor Author

🤖 Created releases:

🌻

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.

1 participant