[#2259] allow extension fields in java 8 interfaces#2591

Draft

cdietrich wants to merge 1 commit intomainfrom cd_issue2259

+214-13

Commits on Feb 4, 2024

[#2259 ] allow extension fields in java 8 interfaces

cdietrich
authored and
LorenzoBettini
committed