[PR #113] [MERGED] fix issue to extract concepts on setup #154

New issue

Closed

opened 2026-03-23 20:32:16 +00:00 by mirror · 0 comments

mirror commented

2026-03-23 20:32:16 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/RADar-AZDelta/Keun/pull/113
Author: @BostoenToby
Created: 12/20/2023
Status: ✅ Merged
Merged: 12/20/2023
Merged by: @BostoenToby

Base: dev ← Head: dev-Toby

📝 Commits (1)

24608c1 fix issue to extract concepts on setup

📊 Changes

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

View changed files

📝 src/routes/mapping/+page.svelte (+37 -3)

📄 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/RADar-AZDelta/Keun/pull/113 **Author:** [@BostoenToby](https://github.com/BostoenToby) **Created:** 12/20/2023 **Status:** ✅ Merged **Merged:** 12/20/2023 **Merged by:** [@BostoenToby](https://github.com/BostoenToby) **Base:** `dev` ← **Head:** `dev-Toby` --- ### 📝 Commits (1) - [`24608c1`](https://github.com/RADar-AZDelta/Keun/commit/24608c1287b9fd30c688a49f613bbdc92d5f78de) fix issue to extract concepts on setup ### 📊 Changes **1 file changed** (+37 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `src/routes/mapping/+page.svelte` (+37 -3) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>