propagate_prefixed


Description:

public static void propagate_prefixed (out Error? dest, owned Error src, string format, ...)