Empty commit to make v4.0.0 and v3.1.0 tags point to different commits