升级版本没有补丁

我现在是4.0.0我想升级为4.0.1,我没在官网找到可以安装的补丁,只能重新下载安装4.0.1吗?

是的,升级版本需要重新安装