Fix my previous gas/ChangeLog entry
authorPalmer Dabbelt <palmer@dabbelt.com>
Tue, 24 Oct 2017 13:58:48 +0000 (06:58 -0700)
committerPalmer Dabbelt <palmer@dabbelt.com>
Tue, 24 Oct 2017 15:02:42 +0000 (08:02 -0700)
commit3779bbe01b4ec1e5ae0a5c555f838999ba88ac50
tree5734431ac0c049b1cc0f7b4ff4a4083ebb4c6785
parentda5f19a2534936376228943de85fdd60f6ddd839
Fix my previous gas/ChangeLog entry
gas/ChangeLog