Hi What's the difference between these two branches? remotes/origin/5 remotes/origin/5-freebsd-12 --joel -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.rtems.org/pipermail/devel/attachments/20200707/4529af78/attachment.html>