tree 502079b070587be8ab325c0f90653bd6720212ff
parent 339a30743689446814ce52acf14c1c09530814df
author David Ostrovsky <david@ostrovsky.org> 1595363162 +0200
committer David Ostrovsky <david@ostrovsky.org> 1595363406 +0200

dev-release: Install release artifact to local Maven repository

The documentation only mentions to install plugin API to local Maven
repository. Yet the release note generation script was complaining that
release.war was not found in local Maven repository.

Change-Id: I096fe13b93fb49c8f9be625c4b55864acec97782