[RPKI] RPKI - upgrade

[Martin Hoffmann]

Hi!

Jayaprakash, Naveenkumar via RPKI wrote:
> 
> We need to upgrade our 2 RPKI servers up to the latest stable
> releases please let us know upgrade procedure and is there upgrade
> path we need to follow.
> 
> > current Version Routinator 0.12.1  
> 
> > current Version Routinator 0.11.3  

If you did not install any extra TALs, all you need to do is install
the new version. There should be no configuration changes or data
migrations required.

  -- Martin