On Mon, 3 Feb 2025, Mikulas Patocka wrote: > Please, send a new version of your patch where these problems are fixed. BTW. also, increase the target version number ".version = {1, 13, 0}," -> ".version = {1, 14, 0}," when you add new functionality. Mikulas