Closed ghost closed 3 years ago
Merged.
Could you in the future pay attention to
Thank you!
not having merge commits in your branch/PR (I had to manually merge this here now.)-- could you elaborate ? perhaps squashing together commits that belong together --> I'll try harder.
not having merge commits in your branch/PR (I had to manually merge this here now.)-- could you elaborate ?
Look at your history, there's a merge commit in it:
* 6f25631 2020-11-30 Pushtakio minor changes on make script --> BUGS
found...
* 66532ac 2020-11-30 Pushtakio Merge branch 'master' of github.com:
silent-mobius/lt
|\
| * 5b49c5e 2020-06-03 Alex M. Schapelle adding last push on github-->
migrating to gitlab
Pushing recent updates. Some of them are semantic only, most of them are newer pictures.