Extlib.deprecated does not use Log.* to print messages (#1605) · Issues · pub / frama-c