Skip to content

Fix deprecation suggestion for auto_yield#908

Merged
smorimoto merged 1 commit intoocsigen:masterfrom smondet:patch-1Dec 2, 2021

Commits

Commits on Dec 1, 2021