robur/opam-mirror
4
0
Fork 0
Code Issues 6 Pull requests 2 Projects Releases Packages Wiki Activity Actions

Demote log level for unavailable packages #6

Merged
reynir merged 1 commit from demote-unavailable into main 2024-10-17 16:12:10 +00:00
Conversation 0 Commits 1 Files changed 1 +1 -1

1 commit

Author SHA1 Message Date
Reynir Björnsson
7a71e095da Demote log level for unavailable packages 
Many packages are marked unavailable these days in preparation of
opam-repository cleanup \o/ so let's be a little less noisy.
 2024-10-17 17:18:16 +02:00