Build #825 (Feb 3, 2021 10:53:45 PM)

PR #3260: tools/wakeuptime: Switch to...

	No changes.
	GitHub pull request #3260 of commit 3628a0e24d7c7ae6aed24700e6a79e4f0f4faff5, no merge conflicts.

Configurations