Hi, What is the current status? I did a quick and dirty build with the commit mentioned (https://github.com/FRRouting/frr/commit/4f08c715db6893ff439d0a39bf4506cd26256d13.patch) and this resolves the issue for me.
It would be nice to have this bug resolved. Kind regards, Axel Scheepers