On Fri, Jun 5, 2020 at 9:34 AM Sebastian Huber
wrote:
>
> Ok.
>
Thanks. Pushed to master.
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
Ok.
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
---
libbsd.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/libbsd.py b/libbsd.py
index 6997aefd..812674a6 100644
--- a/libbsd.py
+++ b/libbsd.py
@@ -128,6 +128,7 @@ _defaults = {
('freebsd/sys/dev/mii','**/*.h',
'dev/mii'),
('freebsd