Hi,

when trying to load git-devel-repo after "make all" get the error.
Traceback attached

If defvarred before defcustom, that error is gone.

Andreas