Almudena Garcia, le dim. 27 oct. 2019 20:53:30 +0100, a ecrit: > Improved tabs.
Ok, that looks good :) Now you need to write a changelog. See git log for instances: some description at the top (can be just a one-liner), then the description of the _source code changes_. Now, I'm realizing that you have not assigned copyright for your work. For this commit it is not required because it is very small and straightforward, but before we can integrate any of your SMP work, we have to get it. I'll send you a separate mail for this. Samuel
