Skip to content

Disable java 7 source obsolete warning.#5168

Merged
sjudd merged 1 commit intobumptech:masterfrom sjudd:disable_java_7_obsoleteJun 8, 2023

Commits

Commits on Jun 8, 2023