diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-05-04 13:51:39 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-05-04 13:51:39 +0000 |
| commit | 1b9cca108ea31a2a785b1101961a7af648f1ad4b (patch) | |
| tree | 3d7987380a3d51b037d7d59fc60b03ba2147987e /NEWS | |
| parent | 9ff99bcab0f5ca5159daeab1eb0cf678662f2b42 (diff) | |
| download | urpmi-1b9cca108ea31a2a785b1101961a7af648f1ad4b.tar urpmi-1b9cca108ea31a2a785b1101961a7af648f1ad4b.tar.gz urpmi-1b9cca108ea31a2a785b1101961a7af648f1ad4b.tar.bz2 urpmi-1b9cca108ea31a2a785b1101961a7af648f1ad4b.tar.xz urpmi-1b9cca108ea31a2a785b1101961a7af648f1ad4b.zip | |
make it clear that it's a bugfix
Diffstat (limited to 'NEWS')
| -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 |