Package: zsh-dev Version: 5.3.1-1 Since #776964, the package installs /usr/include/zsh/config.h for plugins' benefit. Since upstream's 'make install' does not install config.h, plugins developed on Debian will fail to compile on other systems.
The set of header files installed by the package and by upstream should be brought back in sync.
