Workspace layout file format is older (%d.%d) than the current format (%d.%d).
The file will automatically be upgraded on close.
But please read the following list of changes, as some of them
might not automatically convert existing (old) settings.
If you don't understand what a change means, you probably don't
use that feature so you don't have to worry about it.
List of changes: