Julian>Please remove the change you made to Julian>site/_posts/2020-10-06-release-1.26.0.md in this PR
Julian, I rebase checkerframework branch from time to time, and the commit you mention was on master branch. I'm all ears if you have questions or suggestions regarding the checker framework. Vladimir
