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