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.

Sign up for GitHub

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

Jump to bottom

Update lf to r31 #802

Merged
merged 3 commits into from
Dec 26, 2023
Merged

Update lf to r31 #802

merged 3 commits into from
Dec 26, 2023

Conversation

gbyl
Copy link

@gbyl gbyl commented Dec 25, 2023

@Eeems Eeems added the packages Add or improve packages of the repository label Dec 25, 2023
@Eeems Eeems added this to the 2023-W51 Merge Window milestone Dec 25, 2023
@Eeems Eeems merged commit 4c5ec52 into toltec-dev:testing Dec 26, 2023
3 checks passed
@gbyl gbyl deleted the update-lf branch December 26, 2023 05:33
Eeems added a commit that referenced this pull request Dec 31, 2023
@gbyl @Eeems
Update lf to r31 (#802)
1a8df42 
* update lf to r31

---------

Co-authored-by: gbyl <[email protected]>
Co-authored-by: Nathaniel van Diepen <[email protected]>
@Eeems Eeems mentioned this pull request Dec 31, 2023
Merged
Eeems added a commit that referenced this pull request Jan 3, 2024
@Eeems
Stable merge window for week 52 of 2023 (#812)
fa68e4d 
### New Packages
- `bottom` - 0.9.6-1 (#804)

### Updated Packages
- `webinterface-onboot` - 1.2.2-3 (#794 #816)
- `lf` r31-2 - (#802 #811)
- `webinterface-upload-button` - 1.1.1-1 (#790)
- `7zip` - 23.01-1 (#805)
- `ripgrep` - 14.0.3-1 (#801)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Eeems Eeems Eeems approved these changes

Assignees
No one assigned
Labels
packages Add or improve packages of the repository
Projects
None yet
Milestone
2023-W52 Merge Window
Development

Successfully merging this pull request may close these issues.
2 participants
@gbyl @Eeems