configuration.add_configuration(value: any) type fix (#141) #142

Merged
edraft merged 2 commits from #141 into 2022.12 2022-12-07 15:41:19 +01:00
Owner
#141
edraft added this to the 2022.12 milestone 2022-12-07 13:07:28 +01:00
edraft self-assigned this 2022-12-07 13:07:28 +01:00
edraft added 1 commit 2022-12-07 13:07:29 +01:00
edraft added this to the 2022.12 project 2022-12-07 13:07:33 +01:00
edraft modified the milestone from 2022.12 to 2022.12.1 2022-12-07 13:07:36 +01:00
edraft added 1 commit 2022-12-07 13:07:39 +01:00
edraft merged commit f9f2612356 into 2022.12 2022-12-07 15:41:19 +01:00
edraft deleted branch #141 2022-12-07 15:41:19 +01:00
Sign in to join this conversation.
No description provided.