Message378286
Another API option is to use str.replace's existing arguments: str.replace(old, new[, count]). In addition to "old" and "new" being strings, they could also be lists of strings of equal length, similar to how str.maketrans() can accept two strings of equal length. Then, like maketrans(), each string in "old" would be replaced by the corresponding string at the same position in "new." |
|
Date |
User |
Action |
Args |
2020-10-08 21:36:01 | chris.jerdonek | set | recipients:
+ chris.jerdonek, rhettinger, terry.reedy, r.david.murray, serhiy.storchaka, eitan.adler, paalped |
2020-10-08 21:36:01 | chris.jerdonek | set | messageid: <1602192961.07.0.0535162718448.issue33647@roundup.psfhosted.org> |
2020-10-08 21:36:01 | chris.jerdonek | link | issue33647 messages |
2020-10-08 21:36:01 | chris.jerdonek | create | |
|