Bring Devel up to date (should always be more up to date than master)