mount: Not deprecated any more.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 1 Oct 2011 09:42:05 +0000 (10:42 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 1 Oct 2011 09:42:05 +0000 (10:42 +0100)
commitb1f7b5f911dc65f39e0c3297a4dfa566c1d5b8ba
tree3bdd57827486ddd52dc98bdecb8fcc5ea1ae8f9e
parent5c2f1a2d9433eeb5aebeec26f0412c703bbe7269
mount: Not deprecated any more.

This updates commit 5c2f1a2d9433eeb5aebeec26f0412c703bbe7269.
generator/generator_actions.ml