Hilko Bengen Mon, 03 Jul 2023 15:51:12 -0700
control: tag -1 wontfix As of version 4.10 (which I uploadeed to experimental today) the whole extras/ subdirectory which contains gemplug is gone.
Cheers, -Hilko