was 1880df0d51a653c55379d19c13dfa602f3cb50b0 ----------------------------------------------------------------------- 1880df0d51a653c55379d19c13dfa602f3cb50b0 14813: Add CORS headers to "get config" by moving it to arvados.API. ----------------------------------------------------------------------- hooks/post-receive --