This patch allows gerbv to open filenames having non-ASCII character. I guess this patch is also helpful for bug #251.
Log in to post a comment.