2012/9/12 Constantinos Venetsanopoulos <[email protected]>: > Is this what you meant? > If yes, I'll send a separate patch that fixes _InstDictOspDp too.
Yes, I will push the patch. Next time please use “git send-email”'s --in-reply-to parameter. Thanks! Michael
