Closed zeileis closed 3 months ago
Thanks, Mikis, this looks good! When you are reading this in the browser on GitHub, then GitHub should say on this page:
Pull request successfully merged and closed
You’re all set—themaster
branch can be safely deleted.
And next to it you have a Delete branch
button which you can press now.
Mikis @mstasinopoulos, in
gamlss
you just made a small update that is easy to merge into the main branch. You can have a look here and then merge and delete themaster
branch.