Merge branch 'cherry-pick-2c356b35' into 'manual18.11.x'
[kohadocs.git] / mappings.pl
2017-08-14 Jonathan DruartAdd a script to ease the move - mappings.pl