Re: [PATCH] gnu: rdmd: Update to 2.073.0.

[Danny Milosavljevic]

Applied as 4ad3c3840990571d72ea69106c5c0d9b1c4384e1 and pushed to master.