Delyan Angelov 8788512c4d checker: make using err.msg and err.code produce an *actual* notice, even with the present compatibility hack (will be *removed* in 2022-06-01)		2022-04-12 14:56:02 +03:00
..
example.v