release notes were updated in git, but the published ones are still Publication Date: 2017-07-17 , Version: 42.3.20170715.4e6436d => ludwig?