svn commit: r55931 - /dev/mina/mina/2.2.1/

[elecharny]

Author: elecharny
Date: Sun Jul 24 08:24:19 2022
New Revision: 55931

Log:
Removed dev directory

Removed:
    dev/mina/mina/2.2.1/