projects / kohadocs.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1b53f21 a5258f2)
Merge branch 'patch-33' into 'master'
authorDavid Nind <david@davidnind.com>
Wed, 13 Nov 2019 10:17:07 +0000 (10:17 +0000)
committerDavid Nind <david@davidnind.com>
Wed, 13 Nov 2019 10:17:07 +0000 (10:17 +0000)
Patch 33

See merge request koha-community/koha-manual!289


Trivial merge
Mirror of Koha documentation repository