]> git.jsancho.org Git - blog.git/commitdiff
Merge branch 'master' into spanish
authorJavier Sancho <jsf@jsancho.org>
Thu, 2 Aug 2018 16:14:02 +0000 (18:14 +0200)
committerJavier Sancho <jsf@jsancho.org>
Thu, 2 Aug 2018 16:14:02 +0000 (18:14 +0200)

Trivial merge