There are plans if there is demand.
What's your time horizon?
Wow. Quick reply. Sorry I took a bit longer.
We have circumvented issues we had, so there's no immediate hurry. Depending on risks and time needed from our end we could swap to 10.1 rather quickly. As far as I know, there shouldn't be much configuration differences between 10 and 10.1. If updating JBoss OSGi needs more effort, I think October is the earliest we can do it.