Compare commits

merge into: spip-contrib-themes:master

spip-contrib-themes:master

...

pull from: spip-contrib-themes:master

spip-contrib-themes:master

These branches are equal. There is no need to create a pull request.