Customer-support loop reportedly notifies users when fix PRs merge · Digg