Github user solomax commented on the issue:

    https://github.com/apache/wicket/pull/236
  
    @martin-g Should I merge then delete the branch? Is the process of merging 
documented somewhere?


---

Reply via email to