概要以前にRedmine 4.1.1をインストールし利用したが、Redmine 4.2.0が先日リリースされた。継続的な運用のためには、アップデート作業は避けて通れないので、アップデート手順のメモ…