Skip to content

Use the github app for auto-merging#88

Closed
rzadp wants to merge 1 commit intopolkadot-fellows:mainfrom rzadp:patch-1

Commits

Commits on Nov 14, 2023