tree 793eacdaf8ac85aba64fe9f263e17749503ad261
parent 2195d6801d5f88202f27934391185ea05cc718be
author Sebastian Rühl <sruehl@apache.org> 1657526888 +0200
committer Sebastian Rühl <sruehl@apache.org> 1657526888 +0200

fix: added missing extends to WildcardTerm