Update history to reflect merge of #7133 [ci skip]

2018-07-13 19:48:02 -04:00 · 2018-07-13 19:48:02 -04:00 · 16e9820dac
--- a/History.markdown
+++ b/History.markdown
@ -71,6 +71,7 @@
  * Update rubocop version to 0.57.x ### -docs (#7078)
  * Example of CircleCI deployment through CircleCI v2 (#7024)
  * Fix Rubocop offences in test files (#7128)
+  * fix up refute_equal call (#7133)

 ### Bug Fixes