Skip to content

Commit

Permalink
Update URL
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed Sep 24, 2021
1 parent 854632d commit 22ff13c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/manual/external-checkers.tex
Expand Up @@ -119,7 +119,7 @@
checker that provides even more safety: it ensures that you don't
use SQL features that are not supported by your database
implementation. You can learn about the SQL checker at
\url{https://blog.jooq.org/2016/05/09/jsr-308-and-the-checker-framework-add-even-more-typesafety-to-jooq-3-9/}.
\url{https://blog.jooq.org/jsr-308-and-the-checker-framework-add-even-more-typesafety-to-jooq-3-9/}.


\sectionAndLabel{Read Checker for CERT FIO08-J}{read-checker}
Expand Down

0 comments on commit 22ff13c

Please sign in to comment.