manually undid much of pull . Discussion in #442

Merged
Atheros1 merged 1 commits from master into master 2013-08-26 01:36:16 +02:00
No description provided.