settings branch merged into devel, black and pyzo branches. Work continues in setttings

14 views

Skip to first unread message

Edward K. Ream

unread,

Sep 5, 2019, 12:50:19 PM9/5/19

to leo-editor

I did this to ensure (as much as possible), that the recent settings problems are behind us. Everything seems good now.

I plan no further work in the settings branch. Vitalije, you are free to use that branch, or another branch, as you like.

Next, I'll delete the gs branch. It has been fully merged into devel.

Edward

Edward K. Ream

unread,

Sep 5, 2019, 12:54:26 PM9/5/19

to leo-editor

On Thursday, September 5, 2019 at 11:50:19 AM UTC-5, Edward K. Ream wrote:

I plan no further work in the settings branch. Vitalije, you are free to use that branch, or another branch, as you like.

Next, I'll delete the gs branch. It has been fully merged into devel.

Done, after double checking that the expected code is in devel.

It can be a scary to delete a branch. It's even scarier to leave old code lying around ;-)