Build #1257 (19.11.2020 15:46:18)

1. clarify how versions are changed (#962) (commit: 3e1f3f5) (detail / githubweb)

Started by GitHub push by Frotty

• refs/remotes/origin/master