Merge pull request #17816 from JKingsnorth/patch-16
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 13 Jul 2020 20:14:57 +0000 (08:14 +1200)
committerGitHub <noreply@github.com>
Mon, 13 Jul 2020 20:14:57 +0000 (08:14 +1200)
Fix 'Undefined variable: jsSet in CRM_Core_BAO_Mapping::loadSavedMapping()'


Trivial merge