Subject: gnu: Add r-weights.
From: Gábor Boskovits <[email-masked]>
To: Lakshmi Prasannakumar <[email-masked]>, Björn Höfling <[email-masked]>, Ludovic Courtès <[email-masked]>, Ricardo Wurmus <[email-masked]>, [email-masked]
Date: Tue, 6 Nov 2018 16:23:02 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This has made to master on commit cddc0300b7fb5fbbc80f45a626073f8372bf491f.

Thanks for all the hard work!