diff options
| -rw-r--r-- | NEWS | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,8 +1,9 @@ - urpmi.addmedia o [bugfix] look for media/$media_dir/media_info/pubkey instead of media/$media_dir/pubkey - o with --distrib, don't use previous media's pubkey if a pubkey is missing - (eg: use pubkey_main for media "Main Updates" when pubkey_main_updates is missing) + o [bugfix] with --distrib, don't use previous media's pubkey if a pubkey is + missing (eg: use pubkey_main for media "Main Updates" when + pubkey_main_updates is missing) Version 4.9.23 - 3 May 2007, by Pascal "Pixel" Rigaux |