[PR #1725] [MERGED] fix types #2728

New issue

Closed

opened 2026-03-07 21:10:26 +03:00 by kerem · 0 comments

kerem commented

2026-03-07 21:10:26 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/dbeaver/cloudbeaver/pull/1725
Author: @Wroud
Created: 6/1/2023
Status: ✅ Merged
Merged: 6/1/2023
Merged by: @Wroud

Base: devel ← Head: fix/types

📝 Commits (1)

7093d35 fix types

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 webapp/packages/core-theming/src/themeUtils.ts (+1 -1)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/dbeaver/cloudbeaver/pull/1725 **Author:** [@Wroud](https://github.com/Wroud) **Created:** 6/1/2023 **Status:** ✅ Merged **Merged:** 6/1/2023 **Merged by:** [@Wroud](https://github.com/Wroud) **Base:** `devel` ← **Head:** `fix/types` --- ### 📝 Commits (1) - [`7093d35`](https://github.com/dbeaver/cloudbeaver/commit/7093d35ddd182ff833995a25a6c72b7ea5a8f009) fix types ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `webapp/packages/core-theming/src/themeUtils.ts` (+1 -1) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>