From fb5ae96a44f6f7b37abd788e3d08354d47cf4815 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Fri, 28 Mar 2025 02:03:47 -0700 Subject: [PATCH] dummy commit --- src/vs/workbench/contrib/void/browser/metricsPollService.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/contrib/void/browser/metricsPollService.ts b/src/vs/workbench/contrib/void/browser/metricsPollService.ts index ab4d92d8..493c7eda 100644 --- a/src/vs/workbench/contrib/void/browser/metricsPollService.ts +++ b/src/vs/workbench/contrib/void/browser/metricsPollService.ts @@ -11,6 +11,7 @@ import * as dom from '../../../../base/browser/dom.js'; import { IMetricsService } from '../common/metricsService.js'; + export interface IMetricsPollService { readonly _serviceBrand: undefined; }