Skip to content

allow non-string extras in flaglist attributes - #3749

Merged
nicolaskruchten merged 5 commits into
masterfrom
non-string-flaglist-extras
Jun 14, 2022
Merged

nicolaskruchten merged 5 commits into
masterfrom
non-string-flaglist-extras

Commits

  1. Commits on May 26, 2022

  2. Commits on Jun 14, 2022