Skip to content

Tone down warnings about unknown directories in package - #481

Merged
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:tweak_directory_warnings
Aug 29, 2026
Merged

Tone down warnings about unknown directories in package#481
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:tweak_directory_warnings

Tone down warnings about unknown directories in package

5b97419
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
packages
succeeded Aug 29, 2026 in 3m 16s