Skip to content
This repository was archived by the owner on May 22, 2025. It is now read-only.

Revert "Ninja jail is no longer permanent" #7287

Merged
ThatLing merged 1 commit into from
Dec 9, 2019

Revert "Ninja jail is no longer permanent (#7178)"

979a3bd
Select commit
Loading
Failed to load commit list.
Merged

Revert "Ninja jail is no longer permanent" #7287

Revert "Ninja jail is no longer permanent (#7178)"
979a3bd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs