Closed thomaspaulb closed 5 years ago
@mgielissen Unfortunately a mistake happened, the 8.0 port to new API from @nzaterrence was merged but the 9.0 port was mistakenly merged to the 8.0 branch also.
What should have happened instead is that you create a new 9.0 branch in the repository and merge with that one. For now, can you revert the 8.0 branch to commit bbd71d04c73bab9eda31bda9a3eb629696942204?
kvk version incorrect, changed from 9 to 8
@mgielissen Unfortunately a mistake happened, the 8.0 port to new API from @nzaterrence was merged but the 9.0 port was mistakenly merged to the 8.0 branch also.
What should have happened instead is that you create a new 9.0 branch in the repository and merge with that one. For now, can you revert the 8.0 branch to commit bbd71d04c73bab9eda31bda9a3eb629696942204?