Message398501
Currently str.replace() has 3 arguments: old, new and count.
This issue suggests the new addition of another argument called case_insensitive (type bool, defaulted to False) which determines whether to ignore case when replacing said text or not.
Currently we have to use regex or logic (see https://stackoverflow.com/questions/919056/case-insensitive-replace), but it would just be a nice QoL feature to have a case_insensitive kwarg. |
|
Date |
User |
Action |
Args |
2021-07-29 17:10:44 | nimit.grover24 | set | recipients:
+ nimit.grover24, lys.nikolaou, pablogsal |
2021-07-29 17:10:44 | nimit.grover24 | set | messageid: <1627578644.34.0.434278469351.issue44773@roundup.psfhosted.org> |
2021-07-29 17:10:44 | nimit.grover24 | link | issue44773 messages |
2021-07-29 17:10:44 | nimit.grover24 | create | |
|