Five new PRs are now in devel

13 views
Skip to first unread message

Edward K. Ream

unread,
Aug 11, 2026, 6:54:34 AM (2 days ago) Aug 11
to leo-editor
The first five PRs on this page have been merged in the last 18 hours.

None are likely to affect the everyday operation of Leo, but several have big implications for how Leo's devs build Leo and its website.

Please keep testing the "devel" branch.  Btw, Leo's new workflow dispenses with "release" branches. I have closed the "6.8.10" branch.

Edward

Edward K. Ream

unread,
Aug 11, 2026, 1:10:38 PM (2 days ago) Aug 11
to leo-editor
On Tuesday, August 11, 2026 at 5:54:34 AM UTC-5 Edward K. Ream wrote:
The first five PRs on this page have been merged in the last 18 hours.

The count of PRs merged recently is now up to eight!

Edward
Reply all
Reply to author
Forward
0 new messages