[Bug 691441] ostree.gnome.org: Further workarounds for page allocation

["sysadmin" (bugzilla.gnome.org) <bugzilla gnome org>]

https://bugzilla.gnome.org/show_bug.cgi?id=691441
  sysadmin | Other | unspecified

Andrea Veri <andrea.veri> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |andrea veri gmail com
         Resolution|                            |FIXED

--- Comment #1 from Andrea Veri <andrea veri gmail com> 2013-01-10 16:30:03 UTC ---
Added to rc.local through Puppet. As soon as RHEL 6.4 will be out we'll remove
the following bits from Puppet and we should be good to go again.

-- 
Configure bugmail: https://bugzilla.gnome.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching the QA contact of the bug.
You are watching the assignee of the bug.