From 88857e43caa8ac9779d9e4affec7cbf44c899597 Mon Sep 17 00:00:00 2001 From: Andrea Righi Date: Thu, 1 Dec 2022 11:05:52 +0100 Subject: [PATCH] annotations: allow to query CONFIG_