If this fix is accepted into 6.0, will the GPL download be updated too? The project where I noticed this is an open source project, so when we instruct people to download EiffelStudio, will they continue to get 6.0.6.9021 until 6.1 is released?