Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
🤖 I have created a release *beep* *boop* --- ## [4.7.2](v4.7.1...v4.7.2) (2024-11-18) ### Bug Fixes * **ui:** special handling of msg_show.return_prompt. See [#998](#998) ([6e0c8dc](6e0c8dc)) * **ui:** typo ([71ae386](71ae386)) ### Performance Improvements * **block:** use hl_ids directly as hl_group for extmarks. no need to use synIDattr ([742610e](742610e)) * **hl:** use real hl_group ids on nightly instead of ffi ([d5483a0](d5483a0)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
- Loading branch information