Re: [Virtuoso-users] Virtuoso-users Digest, Vol 108, Issue 7

2015-10-03 Thread Hugh Williams
Hi Jason, If you originally built from git develop/7 branch then you would simply update it , or if you were on the stable/7 branch then you would need to switch or if you build or obtained from some other source you would have a clone a git repo, all of which are detailed at: http://v

Re: [Virtuoso-users] Virtuoso-users Digest, Vol 108, Issue 7

2015-10-03 Thread Haag, Jason
Hi Hugh, Are there any special instructions for upgrading / updating my installation to the dev 7 branch? I found these instructions, but it looks like it mostly addresses older version upgrades: https://github.com/openlink/virtuoso-opensource/blob/develop/7/README.UPGRADE Thanks in advance! J