Please note that this bug occurs not only for bold printing of shell prompts, but for any bold text in the terminal. For example:
$ printf 'bold test: \033[1mbold on\033[m bold off\n' shows "bold on" in bold typeface on terminal emulators other than the latest konsole. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
