svn commit: r71891 - /dev/ratis/ratis/

[szetszwo]

Author: szetszwo
Date: Thu Sep 26 03:37:29 2024
New Revision: 71891

Log:
Delete ratis/ratis dir and the outdated KEYS file inside.

Removed:
    dev/ratis/ratis/