Skip to content

Add tehtris - #5672

Closed
viktor-shcherb wants to merge 1 commit into
mainfrom
add-company/tehtris
Closed

Add tehtris#5672
viktor-shcherb wants to merge 1 commit into
mainfrom
add-company/tehtris

Conversation

@viktor-shcherb

Copy link
Copy Markdown
Member

Closes #4687

@viktor-shcherb

Copy link
Copy Markdown
Member Author

Closing this stale one-row placeholder as part of #5123. The source issue #4687 remains open and eligible for a clean retry under the corrected resolver lifecycle; no company or crawler implementation is being discarded.

@viktor-shcherb
viktor-shcherb deleted the add-company/tehtris branch July 20, 2026 17:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add company: TEHTRIS

2 participants