Duncan posted on Mon, 04 Aug 2014 16:46:05 +0000 as excerpted: > Maybe you're building without actually updating the sources?
Perhaps it's belaboring the obvious, but equally obviously /something/ isn't updating, so... IOW, are you doing a git pull, with remote defined? (Or alternatively, a git fetch, followed by a git merge FETCH_HEAD, since those two ops are what git pull actually does by default.) -- Duncan - List replies preferred. No HTML msgs. "Every nonfree program has a lord, a master -- and if you use the program, he is your master." Richard Stallman _______________________________________________ Pan-users mailing list Pan-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/pan-users
