@David: The issue has already 100 votes, should we apply your patch in the meantime? It's unclear for me currently until when Dirk can apply his patch.
@David: The issue has already 100 votes, should we apply your patch in the meantime? It's unclear for me currently until when Dirk can apply his patch.