On 11/16/11 10:28, Florian Haas wrote:
> Hi everybody,
>
> barring any last-minute vetoes, I intend to pull the following changes
> since commit 020c8f7b08e232aef05e277b09632171a7561744:
Heard no vetoes. Merged and pushed.
https://github.com/ClusterLabs/resource-agents/commit/ff3aff0006368dcb5cf
Hi everybody,
barring any last-minute vetoes, I intend to pull the following changes
since commit 020c8f7b08e232aef05e277b09632171a7561744:
Medium: jboss: add the java_opts parameter for java options
(2011-11-15 16:27:26 +0100)
into the ClusterLabs resource-agents repo from the git repository