> On Aug 18, 2018, at 5:02 PM, Rin Okuyama <rokuy...@rk.phys.keio.ac.jp> wrote: > > (1) rename majors.arm32 to majors.arm > (2) remove majors.aarch64 > (3) make everyone include majors.arm > > I will commit if there's no objection.
Correct. Thank you for making this change. -- thorpej