Package: pgadmin3 / 1.20.0~beta2-1

embed-xrc Patch series | download 
1
2
3
4
5
6
7
8
 
--- a/pgadmin/ui/embed-xrc
+++ b/pgadmin/ui/embed-xrc
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 #######################################################################
 #