Denis Davydov 8e3d49cf35 elpa: add 2018.05.001.rc1 and 2017.11.001 (#8512) ... * elpa: add 2018.05.001.rc1 and 2017.11.001 * elpa: shift preferred		2018-06-22 07:52:40 -05:00
..
spack	elpa: add 2018.05.001.rc1 and 2017.11.001 (#8512)	2018-06-22 07:52:40 -05:00