plt/handin — pull request #13 by elibarzilay (2014-10-20 10:26:59+00:00)
Title: Fix name-resolver use to avoid warning.

Fixes PR 14725.