tree 65520d3e74b2e5e24abb5d4136b5688e18ffce69
parent f093e630d6d4272930f45595d5f1b069879412ce
author William Salmon <will.salmon@codethink.co.uk> 1587045548 +0100
committer William Salmon <will.salmon@codethink.co.uk> 1587374072 +0100

_workspaces.py: Update workspace version if possible

This also informs the user which workspaces are open.