Closed kolibril13 closed 3 years ago
Closes #583
Thanks for this PR!
There are a lot of unrelated changes, do you know why? Do you know how to avoid them?
Can you please rebase on master
in order to fix the build error?
git rebase master
Current branch added-installation is up to date.
this is what I get.
You should first git pull
the latest master
branch.
then I get this:
git pull
Already up to date.
That's strange.
The branch of this PR is currently at 7334341, and its base (the parent of your first commit) is 4fb5586 (which at some point was the master
branch of this repo).
In the meantime, the master
branch has progressed to d75cf07.
What is the hash of your master
branch?
Probably you have to pull from a different remote?
closed for #597
As this might be useful for other people as well.