Add known issue tag for issue OPENDJ-1135

Christophe Sovant

19.42.2013 96c7c453efcce04e7e145fbf252bcba2d1ae5ee2

1
2
3
4
5
6
7
8
9
10
11
#!/bin/bash
set -e
# Post rm script
# Files are removed automatically by pm. 
if [ "$1" = "remove" ]
then
  echo
  echo *OpenDJ successfully removed
fi
echo 
# End of the post rm script