<Project>
  <!-- 
    - Single place to put the release version number. This is imported
    - in both testing/* and src/*. We may eventually want to have
    - divergent versions, but for the moment this keeps things simpler.
    -->
  <PropertyGroup>
    <Version>3.7.0</Version>
  </PropertyGroup>
</Project>

<Project>
  <!-- 
    - Single place to put the release version number. This is imported
    - in both testing/* and src/*. We may eventually want to have
    - divergent versions, but for the moment this keeps things simpler.
    -->
  <PropertyGroup>
    <Version>4.0.0-alpha00</Version>
  </PropertyGroup>
</Project>

Update the release version to 4.0.0-alpha00
chore: Update the release version to 4.0.0-alpha00

This indicates "we're now getting ready for the next major version,
but we're not ready to release yet".
