On Mon, Mar 16, 2020 at 3:49 PM Matt Wilkie <[email protected]> wrote:
> I merged a branch called clean-up-root a few days ago. >> > Am I correct that the remaining clean-up-root branch can be deleted? If >> so, please do so. >> > > I split the work into clean-up-root and clean-up-roor-*pr* to separate > the more time consuming stuff from the easy parts. The -pr branch is what > you merged, isn't needed anymore and has been deleted (by you, > appropriately). > > I haven't updated the tracking status for issue #1077 > <https://github.com/leo-editor/leo-editor/issues/1077> yet. Something I > should fix right now. > Thanks for the clarification. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2gmoOcT41%2BBsCyX4dGjvt%3DObEmpZkja%2Bkiv_hHsu7rBQ%40mail.gmail.com.
