Skip to content
This repository has been archived by the owner on Jan 29, 2020. It is now read-only.

Port must be an integer and other small improvements in Uri #321

Merged
merged 2 commits into from
Jul 24, 2018
Merged

Port must be an integer and other small improvements in Uri #321

merged 2 commits into from
Jul 24, 2018

Commits on Jul 19, 2018

  1. Port must be an int, and other small improvements

    @snapshotpl
    snapshotpl committed Jul 19, 2018
    Configuration menu
    Copy the full SHA
    b04ebc5 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2018

  1. port is always integer

    @snapshotpl
    snapshotpl committed Jul 21, 2018
    Configuration menu
    Copy the full SHA
    c798ed9 View commit details
    Browse the repository at this point in the history