Commit 549a713808004d50282e2ff77f25f5e6116020b8 Parent 41c6d276efa621054225433a75330a32ef5e022a Author John MacFarlane <jgm@berkeley.edu> Date Mon, 25 Mar 2019 22:06:55 -0700 Add regression test for #517.