Skip to content

[pull] main from is-a-dev:main - #671

Merged
pull[bot] merged 1 commit into
devliq:mainfrom
is-a-dev:main
Oct 13, 2025
Merged

[pull] main from is-a-dev:main#671
pull[bot] merged 1 commit into
devliq:mainfrom
is-a-dev:main

Remove 'tools' from reserved keywords

57be697
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.