For what it's worth, I just tested current master branch as well as this branch (with a make distclean before each try) and they both worked. Ubuntu 20.04.1, all default build options.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.