The config files aren't currently being installed. I've been using this patch for a while and everything seems to be in good shape, but I forgot to actually submit this pull request! @gergondet could you merge if the checks pass?
Coverage remained the same at 56.379% when pulling 53496879709a9fe2574affaa48b4b102b23cea85 on ahundt:grl into 4e07f57266bf2446df3f14fc33ae4c0c244782dd on jrl-umi3218:master.
The config files aren't currently being installed. I've been using this patch for a while and everything seems to be in good shape, but I forgot to actually submit this pull request! @gergondet could you merge if the checks pass?