Merge branch 'Wikidata', remote-tracking branch 'origin/Wikidata' into Wikidata

[mediawiki.git] / bin / ulimit.sh

#!/bin/bash

ulimit -t $1
ulimit -v $2
shift 2
"$@"