Hidde Beydals 7515080c63 Remove documentation version hotfix ...

And re-use the same logic to properly compare current and next release
versions in update workflow.

2020-10-16 22:19:58 +02:00

..

workflows

Remove documentation version hotfix

2020-10-16 22:19:58 +02:00