URL:
https://github.com/freeipa/freeipa/pull/5540
Author: antoniotorresm
Title: #5540: WebUI: change FreeIPA naming to IPA in About dialog
Action: closed
To pull the PR as Git branch:
git remote add ghfreeipa
https://github.com/freeipa/freeipa
git fetch ghfreeipa pull/5540/head:pr5540
git checkout pr5540