Process pending pull request from George's fork

[michaelslater]

Some time ago, George created a fork of the issue_tracker. Some work was done on this fork and George created a pull request. We need to process this as part of getting this main repo's master branch up-to-date.