{"shas":[["f3bcc87572e5b082dc7b57f58a6b43fc1d5222e8","f75ff8187a713a780f8196f6a95d2ed95647290e@gmail.com","tweaks to ... server files after a vanilla Ubuntu refresh","JGifford"],["801d6b7b15142e3bcfb523b4598f4167474de05e","f75ff8187a713a780f8196f6a95d2ed95647290e@gmail.com","found an error in openERP/server.sh","JGifford"]],"ref":"refs/heads/master","size":2,"head":"801d6b7b15142e3bcfb523b4598f4167474de05e","push_id":36105409}