Merge pull request #1414 from hzeller/improve-replace-with-empty-map
authorEddie Hung <eddie@fpgeh.com>
Mon, 30 Sep 2019 02:35:23 +0000 (19:35 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Sep 2019 02:35:23 +0000 (19:35 -0700)
commitd5f0794a531b36976d2c4d181b1c3921b801bbfa
tree8796974703b6f343bc1c579b1d90de94f14a38e8
parent8474c5b366660153cae03a9de4af8e1ed809856d
parent8c2b4f0a50678f949418b7b7329550615fadde83
Merge pull request #1414 from hzeller/improve-replace-with-empty-map

Avoid work in replace() if rules empty.