Skip to content

Remove not longer required extension and fix handling of willImplement and willExtend#369

Merged
alexander-schranz merged 3 commits intoJan0707:masterfrom ondrejmirtes:bugfix/will-implement2Feb 13, 2025