Can you please change/update the links for “git repo” and “Github repo”? One goes through a redirect which may possibly die out, the other points to tree/devel while the instructions in readme advise to build from and into master.
tree/devel
master
Can you please change/update the links for “git repo” and “Github repo”? One goes through a redirect which may possibly die out, the other points to
tree/develwhile the instructions in readme advise to build from and intomaster.