Compare commits
No commits in common. "1016c54ee7683537dd7dc13231d8a5be50a93767" and "1241753a8cd8c220e173fd1ffda996a10c04a5d0" have entirely different histories.
1016c54ee7
...
1241753a8c
1 changed files with 1 additions and 1 deletions
|
@ -156,7 +156,7 @@ module Make
|
|||
opamfile.file_contents
|
||||
in
|
||||
if unavailable then
|
||||
(Logs.debug (fun m -> m "%s is marked unavailable, skipping" filename);
|
||||
(Logs.info (fun m -> m "%s is marked unavailable, skipping" filename);
|
||||
None)
|
||||
else
|
||||
let url_section =
|
||||
|
|
Loading…
Reference in a new issue