Update mini.c
commit50b57fe926b8ddbb0b732bce313767116ebc241e
authorEgor Bogatov <egorbo@gmail.com>
Wed, 21 Aug 2019 11:07:59 +0000 (21 14:07 +0300)
committerEgor Bogatov <egorbo@gmail.com>
Wed, 21 Aug 2019 11:07:59 +0000 (21 14:07 +0300)
treeb6f9213d88b8085238c5941ab7de9aaa8c93954b
parent6bb1e5ffc4caa318ad005d893b676756769cab7b
Update mini.c
mono/mini/mini.c