Merge branch 'patch-5' into 'manual18.05.x'
[kohadocs.git] / mappings.pl
2017-08-14 Jonathan DruartAdd a script to ease the move - mappings.pl