Your bug report

#40199: [PATCH] system: Export 'operating-system-kernel-loadable-modules'.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 40199@debbugs.gnu.org.

-- 
40199: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40199
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems