Merge pull request #4298 from joostjager/add-monitor-logging

Add monitor_updating_paused logging

Author: valentinewallace