New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/27402#issuecomment-752260680

Comment:
Patch:

```
diff --git src/bauhaus/bauhaus.c src/bauhaus/bauhaus.c
index a7350bf..ff5a071 100644
--- src/bauhaus/bauhaus.c
+++ src/bauhaus/bauhaus.c
@@ -856,7 +856,7 @@ void dt_bauhaus_slider_enable_soft_boundaries(GtkWidget *widget, float hard_min,
 
 void dt_bauhaus_widget_set_label(GtkWidget *widget, const char *section_orig, const char *label_orig)
 {
-  const char *section = _(section_orig);
+  const char *section = section_orig ? _(section_orig) : NULL;
   const char *label = _(label_orig);
 
   dt_bauhaus_widget_t *w = DT_BAUHAUS_WIDGET(widget);
```