Devel is now open

21 views

Skip to first unread message

Edward K. Ream

unread,

Nov 12, 2019, 9:37:35 AM11/12/19

to leo-editor

As usual, we should all do most of our work on branches based in devel, not master. That way merges and PR's update devel, as we want. I have just closed a PR because it would have changed master. We don't want that ever, except for releases.