Merge branch 'patch-32' into 'master'
authorDavid Nind <david@davidnind.com>
Wed, 13 Nov 2019 10:13:57 +0000 (10:13 +0000)
committerDavid Nind <david@davidnind.com>
Wed, 13 Nov 2019 10:13:57 +0000 (10:13 +0000)
commit1b53f213260c7e8a68a5c6039f120773e1803da3
treeb3bd783c0a12b94ba86225aea7463e3a3fe93bc3
parent17e62d39c05b6c0788be934477296ddf7a6d9014
parent5e50b354c3809e67ecc000d45cbcbaf5cd519d29
Merge branch 'patch-32' into 'master'

Patch 32

See merge request koha-community/koha-manual!288
source/systempreferences.rst